D dafny.org Teaching Program Verification in Dafny at Amazon (2023) 61 points Jtsummers 1 year ago 20 comments
