1 result found Sort:

creusot-rs
creusot creusot-rs
49
1.2k
lgpl-2.1
19
Creusot helps you prove your code is correct in an automated fashion.
rust why3 proof rust-lang verification formal-methods deductive-reasoning formal-verification
Created 2021-01-25
2,981 commits to master branch, last one 6 days ago