The Hitchhiker’s Guide to Logical Verification (book)

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!