Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture github.com 1 points by nill0 8 days ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread nill0OP 8 days ago https://x.com/ayushkhaitan343/status/2104289939840176167