PrototypeCommon
math-comp/hierarchy-builder
High level commands to declare a hierarchy based on packed classes
- Owner
- math-comp (organization)
- Stars
- Stars: 104
- Forks
- Forks: 32
- Language
- Rocq Prover
- License
- MIT
- Created
- 2019
- Topics
- mathcompcoqelpi
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by math-comp
All 4 repos by math-comp- math-comp/math-compStars: 707Rocq ProverBeta
- math-comp/analysisStars: 246Rocq ProverPrototype
- math-comp/mcbStars: 154TeXPrototype
Nearby in Rocq Prover
All Rocq Prover repos- SkyLabsAI/BRiCkStars: 110Rocq ProverPrototype
- inQWIRE/SQIRStars: 107Rocq ProverPrototype
- logsem/iris-tutorialStars: 107Rocq ProverPrototype
- ymherklotz/vericertStars: 101Rocq ProverPrototype
- jwiegley/coq-pipesStars: 100Rocq ProverPrototype