search

UniMath / Schools

77 stars 21 forks source link

Compile less of UniMath #6

Closed benediktahrens closed 5 years ago

benediktahrens commented 5 years ago

Do not compile (by default) packages that are not needed for the School (and take long to compile):