search

UniMath / Schools

77 stars 21 forks source link

Add installation instructions #11

Closed benediktahrens closed 5 years ago

benediktahrens commented 5 years ago

mostly by point to (or copying?) the instructions from https://github.com/UniMath/UniMath/blob/master/INSTALL.md