Comment by sebzim4500

It's nice to know that they didn't miss anything. The natural language proof is 10,000 pages and they have missed groups in the past.