| ▲ | racl101 6 days ago | |
These days Fermat would say: "I have an elegant proof but I don't wanna learn LaTex just to publish it." | ||
| ▲ | generationP 6 days ago | parent [-] | |
And soon it will be "but I don't want to learn Lean". | ||
| ▲ | racl101 6 days ago | |
These days Fermat would say: "I have an elegant proof but I don't wanna learn LaTex just to publish it." | ||
| ▲ | generationP 6 days ago | parent [-] | |
And soon it will be "but I don't want to learn Lean". | ||