Lean

产品

实现验证流程半自动化的形式化数学工具

4 次提及7 个连接首次出现: 2026-05-16最近出现: 2026-06-23

关系图谱

关系 (5)

使用 (2)

Mathlib 陶哲轩

应用于 (1)

使用技术 (1)

AI自动形式化技术

合作 (1)

相关文章 (4)