Poincaré Conjecture Formalized in Lean4

(twitter.com)

2 points | by korbonits 6 hours ago ago

1 comments

  • AlDante2 4 hours ago

    It was the proof they formalised, not the conjecture.