qinz1yang/differential-geometry
A general geometry library in LEAN 4.
2 best points · 1 comments · 2 Hacker News posts · 83 GitHub stars · View on GitHub
Hacker News discussions
- Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalized (2 points, 0 comments, by unexpectedtrap, 2026-09-29)
- Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture (1 points, 1 comments, by nill0, 2026-09-28)