Comment by racl101
3 days ago
These days Fermat would say: "I have an elegant proof but I don't wanna learn LaTex just to publish it."
3 days ago
These days Fermat would say: "I have an elegant proof but I don't wanna learn LaTex just to publish it."
And soon it will be "but I don't want to learn Lean".