PrototypeCommon
UniMath/Foundations
Voevodsky's original development of the univalent foundations of mathematics in Coq
- Owner
- UniMath (organization)
- Stars
- Stars: 247
- Forks
- Forks: 22
- Language
- Coq
- License
- None
- Created
- 2010
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by UniMath
All 5 repos by UniMath- UniMath/UniMathStars: 1,021Rocq ProverBeta
- UniMath/SymmetryBookStars: 453HTMLAlpha
- UniMath/agda-unimathStars: 318AgdaAlpha
- UniMath/TypeTheoryStars: 122Rocq ProverPrototype
Nearby in Coq
All Coq repos- lulinchen/cnn_openStars: 262CoqAlpha
- mit-pdos/fscqStars: 252CoqAlpha
- hacspec/hacspecStars: 250CoqAlpha
- sifive/KamiStars: 232CoqPrototype
- jscert/jscertStars: 208CoqPrototype
- barry-jay-personal/tree-calculusStars: 206CoqPrototype