HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by ironbound | Hacker News Reader
Full thread
ironbound
·
Sounds like Lean 4/rocq did all the work here
View on HN
wasabi991011
·
Why do you say that? I see no mention of lean/rocq on the twitter thread, nor on the erdos problem forum thread, nor on the chatGPT conversation.
Reply on news.ycombinator.com