Metamath

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

Metamath
開發者Norman Megill
当前版本
  • 0.198 (2021年8月7日)[1]
源代码库
编程语言ANSI C
操作系统Linux, Windows, Mac OS
类型電腦補助證明驗證
许可协议GNU通用公共授權條款 (資料庫使用創用CC)
网站http://metamath.org

參考資料
  1. . 2021年8月8日 [2022年7月27日].
  2. Megill, Norman. . Metamath Home Page. [2015-04-19]. （原始内容存档于2020-11-24）.
  3. Megill, Norman. . Metamath Proof Explorer. [2015-04-19]. （原始内容存档于2020-02-03）.

外部連結
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.