4 ms·
There's a recent textbook for Dafny aimed at undergraduates with a bit of programming experience. [0] [0] https://mitpress.mit.edu/9780262546232/program-proofs
by sn9 2y ago
There's a recent textbook for Dafny aimed at undergraduates with a bit of programming experience. [0]
[0] https://mitpress.mit.edu/9780262546232/program-proofs/ https://mitpress.mit.edu/9780262546232/program-proofs/