2周前 · software

规模化运行精益

Article URL: https://harmonic.fun/newsblog-post-lean Comments URL: https://news.ycombinator.com/item?id=46608731 Points: 6 Comments: 0...

1个月前 · software

Lean 定理证明器 mathlib

请提供您希望翻译的文本内容。

1个月前 · software

Lean 定理证明器 Mathlib

文章 URL: https://github.com/leanprover-community/mathlib4 评论 URL: https://news.ycombinator.com/item?id=46260128 积分: 8 评论: 0