HN Explorer

kevinbuzzard

↗ HN profile [ 70.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Formalization of Erdős Problems (xenaproject.wordpress.com)
    7 points 1
  2. Sphere Eversion: A Formal Blueprint (leanprover-community.github.io)
    2 points 0
  3. Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com)
    177 points 19