The Hitchhiker's Guide to Logical Verification browncs1951x.github.io/static/files/hitchhikersguide.pdf Book about proofs with Lean. about-math,about-programming,is-book,to-read 2023-11-26 13:47