2 ms·

For anyone wanting to pick up Dafny (or just build some intuition around formal reasoning of code), this recent book is great: https://mitpress.mit.edu/97802625

by sn9 2y ago

For anyone wanting to pick up Dafny (or just build some intuition around formal reasoning of code), this recent book is great: https://mitpress.mit.edu/9780262546232/program-proofs/ https://mitpress.mit.edu/9780262546232/program-proofs/