Isabelle

Isabelle

Isabelle是通过计算机编写和检查数学证明的证明助手。
Isabelle是通过计算机编写和检查数学证明的证明助手。它允许以正式语言表达数学公式，并提供用于在逻辑演算中证明这些公式的工具。
isabelle

网站:

分类目录

具有免费许可证的所有平台的Isabelle替代品