1 result found Sort:

creusot-rs
creusot creusot-rs
53
1.2k
lgpl-2.1
20
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
3,172 commits to master branch, last one 3 days ago