3 ms·
And a whole textbook was recently published as well: https://mitpress.mit.edu/9780262546232/program-proofs/ https://mitpress.mit.edu/9780262546232/program-proof
by sn9 3y ago
And a whole textbook was recently published as well: https://mitpress.mit.edu/9780262546232/program-proofs/ https://mitpress.mit.edu/9780262546232/program-proofs/