3 ms·
These days Fermat would say: "I have an elegant proof but I don't wanna learn LaTex just to publish it."
by racl101 1y ago
These days Fermat would say: "I have an elegant proof but I don't wanna learn LaTex just to publish it."
- generationP 1y agoAnd soon it will be "but I don't want to learn Lean".