PrototypeCommon
SkyLabsAI/BRiCk
Formalization of C++ for verification purposes.
- Owner
- SkyLabsAI (organization)
- Stars
- Stars: 111
- Forks
- Forks: 17
- Language
- Rocq Prover
- License
- None
- Created
- 2020
- Topics
- coqcoq-formalizationcoq-librarycpluspluscplusplus-11cplusplus-14cplusplus-17cplusplus-20cplusplus-23
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- mit-plv/riscv-coqStars: 123Rocq ProverPrototype
- UniMath/TypeTheoryStars: 122Rocq ProverPrototype
- rocq-community/cornStars: 117Rocq ProverPrototype
- inQWIRE/SQIRStars: 107Rocq ProverPrototype
- logsem/iris-tutorialStars: 107Rocq ProverPrototype
- math-comp/hierarchy-builderStars: 104Rocq ProverPrototype