Poincaré Conjecture Formalized in Lean4

2 pointsposted 8 hours ago
by korbonits
(twitter.com)

1 Comments

AlDante2

6 hours ago

It was the proof they formalised, not the conjecture.