Mathlib

模型

约50万行Lean代码构建的数学库，被视为人类数学行为的玩具模型

1 次提及2 个连接首次出现: 2026-04-20最近出现: 2026-04-20

关系图谱

关系 (2)

使用 (1)

使用技术 (1)

相关文章 (1)