Four authors formalize the Hamilton-Perelman proof of the Poincaré conjecture in Lean · Lean Weekly

Four authors formalize the Hamilton-Perelman proof of the Poincaré conjecture in Lean