Wow -- looks like thanks to Claude, Lean checks off another box on | alt Hacker News

alt Hacker News

andrewla • today at 6:57 PM • 2 replies • view on HN

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

Replies

rawling • today at 7:05 PM

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