Poincaré Conjecture Formalized in Lean4 twitter.com 2 points by korbonits a month ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread AlDante2 a month ago It was the proof they formalised, not the conjecture.