https://program-proofs.com/about.html https://program-proofs.com/book.html https://program-proofs.com/code.html https://program-proofs.com/errata.html https://program-proofs.com/ https://program-proofs.com/resources.html https://program-proofs.com/assets/pdf/Dafny-cheat-sheet.pdf 2024-03-12T02:30:40+00:00 https://program-proofs.com/assets/pdf/Program-Proofs-front-matter.pdf 2024-03-12T02:30:40+00:00