HN
Hacker News
Top
New
Best
Ask
Show
Jobs
kevinbuzzard
324 karma · joined February 23, 2020
Pure mathematician in London
submissions
comments
Formalization of Erdős Problems
xenaproject.wordpress.com
·
7 pts
·
kevinbuzzard
·
1
Sphere Eversion: A Formal Blueprint
leanprover-community.github.io
·
2 pts
·
kevinbuzzard
·
0
Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]
github.com
·
177 pts
·
kevinbuzzard
·
19