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

Hacker Newsnew | past | comments | ask | show | jobs | submit

throw567643u8 23 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

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

Smaug123 22 days ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact