FRDCSA
Minor
Internal
External
Git
Packages
UniMath
Jump To:
Parent Description
This
coq
library aims to
formalize
a substantial body of mathematics using the univalent point of view.