Hacker News new | ask | show | jobs
by kapv89 1416 days ago
600-900 pages proofs are why formalising mathematics is needed (lean)