2 results found Sort:
A Proof-oriented Programming Language
Created
2014-04-03
38,467 commits to master branch, last one a day ago
A verification toolchain for Rust programs
Created
2021-11-02
2,798 commits to main branch, last one 7 days ago