Formal Methods
armchair_progamer
•
3mo ago
•
85%
The Hitchhiker’s Guide to Logical Verification (book)
https://browncs1951x.github.io/static/files/hitchhikersguide.pdfAssociated class (Brown University cs1951x)
This is a 209-page book on logical verification in Lean (4.0, the "new" version), available as a PDF.
Comments 1