Lean形式化语言

技术

一种定理证明助手和编程语言，能够对每一步数学推理进行严格的机器逻辑校验

1 次提及1 个连接首次出现: 2026-06-08最近出现: 2026-06-08

关系图谱

关系 (1)

使用技术 (1)

相关文章 (1)