adding docs - Githubissues

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

Open jmikedupont2 opened 6 months ago