Hacker News new | past | comments | ask | show | jobs | submit | kevinbuzzard's submissions login

1. Sphere Eversion: A Formal Blueprint (leanprover-community.github.io) 2 points by kevinbuzzard on June 4, 2020 | past 2. Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette) 177 points by kevinbuzzard on April 6, 2020 | past | 19 comments

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