teorth/analysis：Lean 数学分析伴侣项目
编程数学开源
作者: github_repos发布于: 10天前
介绍 GitHub 上基于 Lean 语言的数学分析开源项目 teorth/analysis，包含核心功能与社区数据。
该文章重点介绍了 GitHub 仓库 teorth/analysis，这是一个为数学教材《Analysis I》开发的 Lean 语言辅助工具。
关键信息：
- 开发语言：Lean（定理证明辅助工具）
- 功能：支持数学分析概念的公式化证明
- 社区数据：248 星标，29 个分支，0 未解决问题
- 开源属性：托管于 GitHub 便于协作
该项目主要面向数学证明形式化的学术研究需求。文章提及了封面图生成服务的 502 错误，但仓库访问不受影响。
参考资料
- teorth/analysis GitHub 仓库:https://github.com/teorth/analysis