Comment by Daneel_

It might have been updated. Is this the lean? https://github.com/openai/math/blob/main/lean/docs/180.md