The Hitchhiker’s Guide to Logical Verification (book)
The Hitchhiker’s Guide to Logical Verification (book)
browncs1951x.github.io /static/files/hitchhikersguide.pdf
Associated class (Brown University cs1951x)
This is a 209-page book on logical verification in Lean (4.0, the "new" version), available as a PDF.
1 comments
Rock on, this is well organized reference material. Looking forward to working some of these. Thank you!