· software
Lean 定理证明器 mathlib
请提供您希望翻译的文本内容。
-
- · software
Lean 定理证明器 Mathlib
文章 URL: https://github.com/leanprover-community/mathlib4 评论 URL: https://news.ycombinator.com/item?id=46260128 积分: 8 评论: 0
请提供您希望翻译的文本内容。
文章 URL: https://github.com/leanprover-community/mathlib4 评论 URL: https://news.ycombinator.com/item?id=46260128 积分: 8 评论: 0