top
new
show
ask
jobs
about

Coq-of-rust: Formal verification tool for Rust

github.com

12 points by todsacerdoti 19 hours ago