Coq-of-rust: Formal verification tool for Rust

(github.com)

6 points | by todsacerdoti 15 hours ago ago

No comments yet.