HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by jdb1729 | Hacker News Reader
Parent
Full thread
jdb1729
·
This is a Lean-verified variation of the OpenAI proof for pi.
View on HN
No comments yet.