The mathematical study of type theories, in univalent foundations
Rocq Prover Updated about 2 months ago 1 commits 122 stars
synth-dev|Mirror: UniMath/TypeTheory (⭐122)
about 2 months agoAbout
The mathematical study of type theories, in univalent foundations
Readme
122 stars
25 forks