Comment Comment by JonChesterfield https://github.com/openai/math/blob/main/lean/docs/378.md parent JonChesterfield 5 days ago
