2 results found Sort:

FStarLang
FStar FStarLang
236
2.8k
apache-2.0
78
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
38,546 commits to master branch, last one 10 hours ago
AeneasVerif
aeneas AeneasVerif
23
249
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
3,084 commits to main branch, last one 22 hours ago