OpenAI 数学形式化验证项目

该仓库以 Lean 为主要语言，据资料显示是 OpenAI 名下的数学相关开源项目。仓库未提供官方描述与话题标签，具体功能细节、使用方式与适用场景需参阅仓库内文档了解。