Hacker Neus
Coq-of-rust: Formal verification tool for Rust
(github.com)
25 points
by todsacerdoti
3 days ago |
0 comments
