Metamath是用來發展嚴格形式化數學定義及證明的一款語言[2]，亦指用來驗證該語言的證明驗證器，以及存有邏輯、集合論、數論、群論、代數、數學分析、拓撲學、希爾伯特空間及量子邏輯[3]等領域中數萬條已證明定理且仍不斷在增加中的資料庫。
參考資料
外部連結
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
