search

UniMath / Schools

77 stars 21 forks source link

add travis file #9

Closed benediktahrens closed 5 years ago

benediktahrens commented 5 years ago

might need reducing the parts of UniMath that are compiled