PrototypeCommune
math-comp/hierarchy-builder
High level commands to declare a hierarchy based on packed classes
- Propriétaire
- math-comp (organisation)
- Étoiles
- Étoiles : 104
- Forks
- Forks : 32
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2019
- Sujets
- mathcompcoqelpi
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de math-comp
Les 4 dépôts de math-comp- math-comp/math-compÉtoiles : 707Rocq ProverBêta
- math-comp/analysisÉtoiles : 246Rocq ProverPrototype
- math-comp/mcbÉtoiles : 154TeXPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- SkyLabsAI/BRiCkÉtoiles : 109Rocq ProverPrototype
- inQWIRE/SQIRÉtoiles : 107Rocq ProverPrototype
- logsem/iris-tutorialÉtoiles : 107Rocq ProverPrototype
- ymherklotz/vericertÉtoiles : 101Rocq ProverPrototype
- jwiegley/coq-pipesÉtoiles : 100Rocq ProverPrototype