Hacker Newsnew | past | comments | ask | show | jobs | submit | kevinbuzzard's submissionslogin
1.
Formalization of Erdős Problems (xenaproject.wordpress.com)
7 points by kevinbuzzard 4 months ago | past | 1 comment
2.
Sphere Eversion: A Formal Blueprint (leanprover-community.github.io)
2 points by kevinbuzzard on June 4, 2020 | past
3.
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: