HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by AntonioCao | Hacker News Reader
Full thread
AntonioCao
·
Wow. Can't wait for the lean theorem prover integration.
View on HN
jsmorph
·
Same. Maybe a GPT-driven super-tactic.
Reply on news.ycombinator.com