3 ms·Dafny is an amazing language. A clear step forward when it comes to writing correct code.by deterministic 3y agoDafny is an amazing language. A clear step forward when it comes to writing correct code.