PrototypeCommon
theorem-labs/oss-verify-proofs
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- Owner
- theorem-labs (organization)
- Stars
- Stars: 193
- Forks
- Forks: 15
- Language
- Rocq Prover
- License
- MIT
- Created
- 2026
- Topics
- formal-verificationfuzzingoss-fuzzproofsriscvrocq
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- rocq-prover/equationsStars: 238Rocq ProverPrototype
- GeoCoq/GeoCoqStars: 210Rocq ProverPrototype
- plclub/sf-in-leanStars: 199Rocq ProverPrototype
- mit-plv/koikaStars: 191Rocq ProverPrototype
- CertiRocq/certirocqStars: 183Rocq ProverPrototype
- mit-plv/kamiStars: 173Rocq ProverPrototype