JetBrains Research 发表 Arend 定理证明器技术论文

JetBrains Research 研发的定理证明器 Arend 技术论文近日发布，该工具主要支持同伦类型理论和构造主义数学的形式化。 Arend 语言基于同伦类型理论的立方体语法变体，支持类、记录及子型系统。IntelliJ Arend 插件将其集成至 IntelliJ IDEA，arend-lib 库还包含构造代数和拓扑学的形式化内容。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。