The Hitchhiker’s Guide to Logical Verification (book)

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.