Isabelle 替代品
3我们整理了一个包含3个免费和付费的Isabelle替代方案的列表。主要竞争对手包括:Coq, F*。除了这些之外,用户还会将Isabelle与Agda进行比较。此外,您还可以在这里查看其他类似的选项:教育和参考软件。
我们整理了一个包含3个免费和付费的Isabelle替代方案的列表。主要竞争对手包括:Coq, F*。除了这些之外,用户还会将Isabelle与Agda进行比较。此外,您还可以在这里查看其他类似的选项:教育和参考软件。
Isabelle是通过计算机编写和检查数学证明的证明助手。
它允许以正式语言表达数学公式,并提供用于在逻辑演算中证明这些公式的工具。
分享您对软件的看法,留下评论,帮助使其变得更好!
建議更改
你的反馈
Your vote has been counted.
Do you have experience using this software?