HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by pkoird | Hacker News Reader
Parent
Full thread
pkoird
·
Ahh, so maybe we should first focus on formalizing Lean itself?
View on HN
digama0
·
Should I introduce you to
https://arxiv.org/abs/2403.14064
?
Reply on news.ycombinator.com