Matita 帮助计算机检查数学证明

“

Matita 是一种交互式定理证明器。它使用依赖类型理论，能够进行精确的机器检查数学证明。它提供实时反馈，使复杂的验证变得易于访问且具有教育意义。

故事还有更多内容 — 打开应用继续阅读。