Hacker News
- Coq-of-rust: Formal verification tool for Rust https://github.com/formal-land/coq-of-rust 33 comments
Lobsters
- coq-of-rust: Formal verification tool for Rust https://github.com/formal-land/coq-of-rust 6 comments formalmethods , rust
Linked pages
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- GitHub - verus-lang/verus: Verified Rust for low-level systems code https://github.com/verus-lang/verus 118 comments
- GitHub - diffblue/cbmc: C Bounded Model Checker https://github.com/diffblue/cbmc 1 comment
- GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! https://github.com/xldenis/creusot 0 comments
- Introduction - Rust By Example https://doc.rust-lang.org/rust-by-example/index.html 0 comments
- GitHub - model-checking/kani: Kani Rust Verifier https://github.com/model-checking/kani 0 comments