Kani Rust Verifier

(github.com)

3 points | by lwhsiao 9 hours ago ago