1 result found Sort:

creusot-rs
creusot creusot-rs
50
1.1k
lgpl-2.1
21
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,752 commits to master branch, last one 15 hours ago