跳转到内容

数学证明/证明助手

Add links
0% developed
来自维基教科书，开放世界中的开放书籍
< 数学证明
此页面可能需要审查质量。


本节提供有关用于进行数学证明的工具的建议。

证明助手是一种软件工具，通过人机协作来帮助开发形式化证明[1]。


参考资料

[编辑 | 编辑源代码]
  1. ↑ 证明助手（维基百科上的文章）。


参见

[编辑 | 编辑源代码]

维基教科书

[编辑 | 编辑源代码]



取自"https://wikibooks.cn/wiki/Mathematical_Proof/Proof_Assistants"
华夏公益教科书