Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture(github.com)1 points by nill0 2 days ago | 1 comment