11 points | by jdb1729 3 hours ago ago
1 comments
This is a Lean-verified variation of the OpenAI proof for pi.
This is a Lean-verified variation of the OpenAI proof for pi.