| ▲ | andrewla 3 hours ago | |
Wow -- looks like thanks to Claude, Lean checks off another box on https://www.cs.ru.nl/~freek/100/ | ||
| ▲ | rawling 3 hours ago | parent | next [-] | |
The last box, per https://news.ycombinator.com/item?id=49568667 | ||
| ▲ | 2 hours ago | parent | prev [-] | |
| [deleted] | ||