1 result found Sort:

AeneasVerif
aeneas AeneasVerif
19
237
apache-2.0
5
A verification toolchain for Rust programs
coq hol4 lean rust fstar ocaml proofs compiler rust-lang formal-methods deductive-reasoning formal-verification program-verification
Created 2021-11-02
2,798 commits to main branch, last one 7 days ago