Teaching Program Verification in Dafny at Amazon

This is awesome, I have been doing advent of code and trying to write some algorithms in Dafny. This came at a great time!!