Poincaré Conjecture Formalized in Lean4 (twitter.com)

1 points by korbonits 1mo ago ↗ HN

1 comment

[ 8.8 ms ] story [ 16.4 ms ] thread

AlDante2 1mo ago ↗

It was the proof they formalised, not the conjecture.