Change the repository type filter
All
Repositories list
22 repositories
SymmetryBook
Publicagda-unimath
PublicUniMath
PublicThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.TypeTheory
PublicSetHITs
PublicSchools
Publiclargecatmodules
Publicunimath.github.io
PublicComputability
PublicGrpdHITs
PublicUniMath-jsCoq
Publiclive
PublicContrib
Publicopam-repository
PubliclBsystems
PubliclCsystems
Publicbook
PublicFoundations
Public