formal-land / coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
See what the GitHub community is most excited about today.
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!