PrototypeCommune
UniMath/Foundations
Voevodsky's original development of the univalent foundations of mathematics in Coq
- Propriétaire
- UniMath (organisation)
- Étoiles
- Étoiles : 247
- Forks
- Forks : 22
- Langage
- Coq
- Licence
- Aucune
- Création
- 2010
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de UniMath
Les 5 dépôts de UniMath- UniMath/UniMathÉtoiles : 1 021Rocq ProverBêta
- UniMath/SymmetryBookÉtoiles : 453HTMLAlpha
- UniMath/agda-unimathÉtoiles : 318AgdaAlpha
- UniMath/TypeTheoryÉtoiles : 122Rocq ProverPrototype
D’autres dépôts Coq
Tous les dépôts Coq- lulinchen/cnn_openÉtoiles : 262CoqAlpha
- mit-pdos/fscqÉtoiles : 252CoqAlpha
- hacspec/hacspecÉtoiles : 250CoqAlpha
- sifive/KamiÉtoiles : 232CoqPrototype
- jscert/jscertÉtoiles : 208CoqPrototype
- barry-jay-personal/tree-calculusÉtoiles : 206CoqPrototype