Lean

技术

文中提及的形式化验证系统

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

关系图谱

关系 (3)

使用技术 (2)

DeepMind AlphaProof Mathlib

应用于 (1)

相关文章 (2)