mlliarm / unimath Goto Github PK
View Code? Open in Web Editor NEWThis project forked from unimath/unimath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Home Page: http://unimath.org/
License: Other