top
new
show
ask
jobs
about

Coq-of-rust: Formal verification tool for Rust

github.com

4 points by todsacerdoti 9 hours ago