跳轉到內容

數學證明/證明助手

Add links
0% developed
來自華夏公益教科書
< 數學證明
此頁面可能需要審查質量。


本節提供有關用於進行數學證明的工具的建議。

證明助手是一種軟體工具，透過人機協作來幫助開發形式化證明[1]。


參考資料

[編輯 | 編輯原始碼]
  1. ↑ 證明助手（維基百科上的文章）。


參見

[編輯 | 編輯原始碼]

華夏公益教科書

[編輯 | 編輯原始碼]



取自"https://wikibook.tw/wiki/Mathematical_Proof/Proof_Assistants"
華夏公益教科書