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通用公共授權條款 (資料庫使用創用CC)
网站	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）.