BêtaRare
HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory
- Propriétaire
- HoTT (organisation)
- Étoiles
- Étoiles : 1 407
- Forks
- Forks : 205
- Langage
- Rocq Prover
- Licence
- Aucune
- Création
- 2011
- Sujets
- type-theoryhomotopy-type-theoryunivalent-foundations
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de HoTT
Les 4 dépôts de HoTT- HoTT/bookÉtoiles : 2 175TeXRC
- HoTT/HoTT-AgdaÉtoiles : 442AgdaAlpha
- HoTT/EPIT-2020Étoiles : 110TeXPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- AbsInt/CompCertÉtoiles : 2 268Rocq ProverRC
- gustavo-depaula/stalin-sortÉtoiles : 1 712Rocq ProverBêta
- formal-land/rocq-of-rustÉtoiles : 1 193Rocq ProverBêta
- UniMath/UniMathÉtoiles : 1 022Rocq ProverBêta
- mit-plv/fiat-cryptoÉtoiles : 851Rocq ProverBêta