Metamath

Metamath
	File:Metamath logo.png
開發者	Norman Megill
當前版本	Module:EditAtWikidata第29行Lua錯誤：attempt to index field 'wikibase' (a nil value)
原始碼庫	{{URL\|example.com\|可选的显示文本}}; Module:EditAtWikidata第29行Lua錯誤：attempt to index field 'wikibase' (a nil value)
程式語言	ANSI C
引擎	Module:EditAtWikidata第29行Lua錯誤：attempt to index field 'wikibase' (a nil value)
作業系統	Linux, Windows, Mac OS
類型	電腦補助證明驗證
許可協議	GNU通用公共授權條款 (資料庫使用共享創意)
網站	http://metamath.org

Metamath是用來發展嚴格形式化數學定義及證明的一款語言^[1]，亦指用來驗證該語言的證明驗證器，以及存有邏輯、集合論、數論、群論、代數、數學分析、拓撲學、希爾伯特空間及量子邏輯^[2]等領域中數萬條已證明定理且仍不斷在增加中的資料庫。

參考資料[編輯]

^ Megill, Norman. What is Metamath?. Metamath Home Page. [2015-04-19]. （原始內容存檔於2020-11-24）.
^ Megill, Norman. Most recent proofs. Metamath Proof Explorer. [2015-04-19]. （原始內容存檔於2020-02-03）.