Comment on Dafny is a verification-aware programming languageparentComments−syrak2yFor verified Rust there is also https://github.com/creusot-rs/creusot−junon2yCool, thanks! Will have to look into this
Comments
For verified Rust there is also https://github.com/creusot-rs/creusot
Cool, thanks! Will have to look into this