https://github.com/verus-lang/verus is similar tool for Rust (developed by previ...

		mmoskal 9 months ago \| parent \| context \| favorite \| on: Teaching Program Verification in Dafny at Amazon (... https://github.com/verus-lang/verus is similar tool for Rust (developed by previous heavy users of Dafny).