Wow -- looks like thanks to Claude, Lean checks off another box on https://www.cs.ru.nl/~freek/100/
The last box, per https://news.ycombinator.com/item?id=49568667
The last box, per https://news.ycombinator.com/item?id=49568667