Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

kevinbuzzard

324 karmajoined February 23, 2020On HN

Pure mathematician in London

Recent submissions

Formalization of Erdős Problems xenaproject.wordpress.com
7kevinbuzzard9mo1 comment
Sphere Eversion: A Formal Blueprint leanprover-community.github.io
2kevinbuzzard6ydiscuss
Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]github.com/blanchette
177kevinbuzzard6y19 comments

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.