Hacker News Reader

Has Lean proved the Four Colour Theorem? I thought only Rocq had.

It’s an aggregated list, not a list of formalisations in Lean - the checkbox is “things formalised in any prover”.