Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]github.com/blanchette177 pointskevinbuzzard6 years ago