Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture

Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture: Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture may b