G github.com Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture 1 points nill0 1 month ago 1 comments
