2 ms·
https://github.com/verus-lang/verus https://github.com/verus-lang/verus is similar tool for Rust (developed by previous heavy users of Dafny).
by mmoskal 1y ago
https://github.com/verus-lang/verus https://github.com/verus-lang/verus is similar tool for Rust (developed by previous heavy users of Dafny).