1 result found Sort:

creusot-rs
creusot creusot-rs
49
1.1k
lgpl-2.1
23
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,247 commits to master branch, last one 16 hours ago