1 Repositories
Rust why3 Libraries
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Le marteau-pilon, forges et aciéries de Saint-Chamond, Joseph-Fortuné LAYRAUD, 1889 About Creusot is a tool for deductive verification of Rust code. I
609 Dec 28, 2022