blanchette/logical_verification_2020
Companion files for Logical Verification 2020–2021 at VU Amsterdam
177 best points · 19 comments · 2 Hacker News posts · 95 GitHub stars · View on GitHub
Hacker News discussions
- Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (177 points, 19 comments, by kevinbuzzard, 2020-04-06)
- The Hitchhiker’s Guide to Logical Verification [pdf] (4 points, 0 comments, by mathgenius, 2020-04-03)