Hacker News new | past | comments | ask | show | jobs | submit | from login

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette) 177 points by kevinbuzzard on April 6, 2020 | past | 19 comments The Hitchhiker’s Guide to Logical Verification [pdf] (github.com/blanchette) 4 points by mathgenius on April 3, 2020 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: