3 ms·Lot's of great work on dafny in general!by opnitro 2y agoLot's of great work on dafny in general!