1Formalization of Erdős Problems (opens in new tab)(xenaproject.wordpress.com)7kevinbuzzard6mo ago1Save
2Sphere Eversion: A Formal Blueprint (opens in new tab)(leanprover-community.github.io)2kevinbuzzard6y ago0Save
3Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (opens in new tab)(github.com)PDF177kevinbuzzard6y ago19Save
