3 ms·

For those that are interested but perhaps not aware of this similar project, Dafny is a "verification-aware programming language" that can compile to rust: http

For those that are interested but perhaps not aware of this similar project, Dafny is a "verification-aware programming language" that can compile to rust: https://github.com/dafny-lang/dafny https://github.com/dafny-lang/dafny

algorithmsRcool 2y ago
Always cool to see Dafny mentioned! Shameless plug: I just wrote a beginner's introduction to Dafny a few days ago. https://www.linkedin.com/pulse/getting-started-dafny-your-first-formal-proof-alfred-white-puucc/ https://www.linkedin.com/pulse/getting-started-dafny-your-fi...