Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture(github.com)
1 pointby nill05 hours ago1 comment