Comment by andrewla

11 hours ago

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

2 comments

andrewla

Reply

rawling 10 hours ago

The last box, per https://news.ycombinator.com/item?id=49568667