RCÉpique
AbsInt/CompCert
The CompCert formally-verified C compiler
- Propriétaire
- AbsInt (organisation)
- Étoiles
- Étoiles : 2 264
- Forks
- Forks : 268
- Langage
- Rocq Prover
- Licence
- Aucune
- Création
- 2014
- Sujets
- compcertcoqccompiler
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- gustavo-depaula/stalin-sortÉtoiles : 1 712Rocq ProverBêta
- HoTT/Coq-HoTTÉtoiles : 1 407Rocq ProverBêta
- formal-land/rocq-of-rustÉtoiles : 1 191Rocq ProverBêta