7 ms·
Has Lean proved the Four Colour Theorem? I thought only Rocq had.
by throw567643u8 12d ago
Has Lean proved the Four Colour Theorem? I thought only Rocq had.
- Smaug123 11d agoIt’s an aggregated list, not a list of formalisations in Lean - the checkbox is “things formalised in any prover”.