形式化语言

技术

用于精确描述数学证明并供计算机自动验证的语言

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

关系图谱

关系 (1)

使用技术 (1)

相关文章 (1)