BetaRare
HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory
- Owner
- HoTT (organization)
- Stars
- Stars: 1,407
- Forks
- Forks: 205
- Language
- Rocq Prover
- License
- None
- Created
- 2011
- Topics
- type-theoryhomotopy-type-theoryunivalent-foundations
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by HoTT
All 4 repos by HoTT- HoTT/bookStars: 2,175TeXRC
- HoTT/HoTT-AgdaStars: 442AgdaAlpha
- HoTT/EPIT-2020Stars: 110TeXPrototype
Nearby in Rocq Prover
All Rocq Prover repos- AbsInt/CompCertStars: 2,268Rocq ProverRC
- gustavo-depaula/stalin-sortStars: 1,712Rocq ProverBeta
- formal-land/rocq-of-rustStars: 1,194Rocq ProverBeta
- UniMath/UniMathStars: 1,022Rocq ProverBeta
- mit-plv/fiat-cryptoStars: 851Rocq ProverBeta