Comment by racl101 Comment by racl101 4 days ago 1 reply Copy Link View on Hacker News These days Fermat would say: "I have an elegant proof but I don't wanna learn LaTex just to publish it."
Copy Link generationP 3 days ago Collapse Comment - And soon it will be "but I don't want to learn Lean". Reply View | 0 replies
And soon it will be "but I don't want to learn Lean".