search

meta-introspector / UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
http://unimath.org/
Other
0 stars 0 forks source link

bug report #18

Closed jmikedupont2 closed 5 months ago

jmikedupont2 commented 5 months ago

crashed on make