PrototypeCommune
theorem-labs/oss-verify-proofs
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- Propriétaire
- theorem-labs (organisation)
- Étoiles
- Étoiles : 189
- Forks
- Forks : 15
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2026
- Sujets
- formal-verificationfuzzingoss-fuzzproofsriscvrocq
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- GeoCoq/GeoCoqÉtoiles : 210Rocq ProverPrototype
- plclub/sf-in-leanÉtoiles : 199Rocq ProverPrototype
- mit-plv/koikaÉtoiles : 191Rocq ProverPrototype
- CertiRocq/certirocqÉtoiles : 183Rocq ProverPrototype
- mit-plv/kamiÉtoiles : 173Rocq ProverPrototype
- rocq-community/math-classesÉtoiles : 169Rocq ProverPrototype