PrototypeCommune
SkyLabsAI/BRiCk
Formalization of C++ for verification purposes.
- Propriétaire
- SkyLabsAI (organisation)
- Étoiles
- Étoiles : 110
- Forks
- Forks : 17
- Langage
- Rocq Prover
- Licence
- Aucune
- Création
- 2020
- Sujets
- coqcoq-formalizationcoq-librarycpluspluscplusplus-11cplusplus-14cplusplus-17cplusplus-20cplusplus-23
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- UniMath/TypeTheoryÉtoiles : 122Rocq ProverPrototype
- mit-plv/riscv-coqÉtoiles : 122Rocq ProverPrototype
- rocq-community/cornÉtoiles : 117Rocq ProverPrototype
- inQWIRE/SQIRÉtoiles : 107Rocq ProverPrototype
- logsem/iris-tutorialÉtoiles : 107Rocq ProverPrototype
- math-comp/hierarchy-builderÉtoiles : 104Rocq ProverPrototype