2 ms·600-900 pages proofs are why formalising mathematics is needed (lean)by kapv89 4y ago600-900 pages proofs are why formalising mathematics is needed (lean)