PrototypeCommune
UniMath/TypeTheory
The mathematical study of type theories, in univalent foundations
- Propriétaire
- UniMath (organisation)
- Étoiles
- Étoiles : 122
- Forks
- Forks : 25
- Langage
- Rocq Prover
- Licence
- Aucune
- Création
- 2016
- 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/FoundationsÉtoiles : 247CoqPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- fraunhoferfokus/acsl-by-exampleÉtoiles : 128Rocq ProverPrototype
- WasmCert/WasmCert-CoqÉtoiles : 128Rocq ProverPrototype
- mit-plv/riscv-coqÉtoiles : 122Rocq ProverPrototype
- rocq-community/cornÉtoiles : 116Rocq ProverPrototype
- SkyLabsAI/BRiCkÉtoiles : 109Rocq ProverPrototype
- inQWIRE/SQIRÉtoiles : 107Rocq ProverPrototype