BetaRare
formal-land/rocq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
- Owner
- formal-land (organization)
- Stars
- Stars: 1,194
- Forks
- Forks: 43
- Language
- Rocq Prover
- License
- None
- Created
- 2022
- Topics
- formal-verificationrustproofrocq
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by formal-land
All 2 repos by formal-land- formal-land/rocq-of-ocamlStars: 279OCamlAlpha
Nearby in Rocq Prover
All Rocq Prover repos- AbsInt/CompCertStars: 2,268Rocq ProverRC
- gustavo-depaula/stalin-sortStars: 1,712Rocq ProverBeta
- HoTT/Coq-HoTTStars: 1,407Rocq ProverBeta
- UniMath/UniMathStars: 1,022Rocq ProverBeta
- mit-plv/fiat-cryptoStars: 851Rocq ProverBeta
- magmide/magmideStars: 841Rocq ProverBeta