Contributor
@pierrevial
repos
4
ecosystems
2
languages
commits
53
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
Interface with the rustc compiler for the purpose of program verification
Translate Rust 🦀 LLBC code (generated by https://github.com/AeneasVerif/charon) to Coq 🐓
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
