formal-land/coq-of-rust

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

159 best points · 42 comments · 1 Hacker News post · 1,196 GitHub stars · View on GitHub

Hacker News discussions

• Coq-of-rust: Formal verification tool for Rust (159 points, 42 comments, by todsacerdoti, 2025-03-14)