News for hackers. Stuff that matters.

A comment on Programming Languages Going Above and Beyond. Parent comment

Re:Programming Languages Going Above and Beyond by sn9 on Thursday June 29, 2023 @06:35PM (#36527785)
There's actually a brand new textbook on using Dafny at the level of an early undergraduate course: https://mitpress.mit.edu/9780262546232/program-proofs/
[ Parent | on HN ]

There are no comments on this comment yet.