2 results found Sort:

FStarLang
FStar FStarLang
234
2.7k
apache-2.0
80
A Proof-oriented Programming Language
smt fstar ocaml f-sharp c-language verification dependent-types proof-assistant theorem-proving programming-language
Created 2014-04-03
37,957 commits to master branch, last one 5 days ago
AeneasVerif
aeneas AeneasVerif
15
220
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,688 commits to main branch, last one 4 days ago