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