2 ms·

Wow -- looks like thanks to Claude, Lean checks off another box on https://www.cs.ru.nl/~freek/100/ https://www.cs.ru.nl/~freek/100/

• rawling 22d ago
  The last box, per https://news.ycombinator.com/item?id=49568667 https://news.ycombinator.com/item?id=49568667
  • throw567643u8 21d ago
    Has Lean proved the Four Colour Theorem? I thought only Rocq had.
    • Smaug123 21d ago
      It’s an aggregated list, not a list of formalisations in Lean - the checkbox is “things formalised in any prover”.
• deleted 22d ago
  [deleted]