3 ms·
>It's similar to Mochizuki claiming to have proved the ABC conjecture Now I wonder if someone could port his proof to Lean
by benibela 24d ago
>It's similar to Mochizuki claiming to have proved the ABC conjecture
Now I wonder if someone could port his proof to Lean