PrototypeCommon
UniMath/TypeTheory
The mathematical study of type theories, in univalent foundations
- Owner
- UniMath (organization)
- Stars
- Stars: 122
- Forks
- Forks: 25
- Language
- Rocq Prover
- License
- None
- Created
- 2016
- 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/FoundationsStars: 247CoqPrototype
Nearby in Rocq Prover
All Rocq Prover repos- fraunhoferfokus/acsl-by-exampleStars: 128Rocq ProverPrototype
- WasmCert/WasmCert-CoqStars: 128Rocq ProverPrototype
- mit-plv/riscv-coqStars: 122Rocq ProverPrototype
- rocq-community/cornStars: 116Rocq ProverPrototype
- SkyLabsAI/BRiCkStars: 109Rocq ProverPrototype
- inQWIRE/SQIRStars: 107Rocq ProverPrototype