2 results found Sort:

FStarLang
FStar FStarLang
233
2.6k
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
36,750 commits to master branch, last one 3 days ago
AeneasVerif
aeneas AeneasVerif
12
148
apache-2.0
6
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,237 commits to main branch, last one a day ago