← All repos

formal-land/rocq-of-rust

View on GitHub ↗ ★ 1,197 Rocq Prover

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2024-05-15 · latest 2025-05-14