2 results found Sort:

238
2.8k
apache-2.0
80
A Proof-oriented Programming Language
Created 2014-04-03
38,467 commits to master branch, last one a day ago
19
237
apache-2.0
5
A verification toolchain for Rust programs
Created 2021-11-02
2,798 commits to main branch, last one 7 days ago