Comment by generationP Comment by generationP 3 days ago 0 replies Copy Link View on Hacker News And soon it will be "but I don't want to learn Lean".