形式化证明助手

技术

如Lean，用于验证数学证明正确性的技术工具

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

关系图谱

关系 (2)

使用技术 (1)

应用于 (1)

相关文章 (1)