This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
Updated
Sep 11, 2026 - Rocq Prover
#
unimath
Here are 4 public repositories matching this topic...
My undergradate thesis on coinductive types in univalent type theory
-
Updated
May 10, 2018 - TeX
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
Updated
Mar 15, 2025 - Coq
Formalized Mathematics
-
Updated
Nov 9, 2017 - Coq
Add this topic to your repo
To associate your repository with the unimath topic, visit your repo's landing page and select "manage topics."