Poincaré Conjecture Formalized in Lean4

1 comments

• AlDante2 5 hours ago

  It was the proof they formalised, not the conjecture.