Metamath
 | |
| 開發者 | Norman Megill |
|---|---|
| 当前版本 |
|
| 源代码库 | |
| 编程语言 | ANSI C |
| 操作系统 | Linux, Windows, Mac OS |
| 类型 | 電腦補助證明驗證 |
| 许可协议 | GNU通用公共授權條款 (資料庫使用創用CC) |
| 网站 | http://metamath.org |
Metamath是用來發展嚴格形式化數學定義及證明的一款語言[2]，亦指用來驗證該語言的證明驗證器，以及存有邏輯、集合論、數論、群論、代數、數學分析、拓撲學、希爾伯特空間及量子邏輯[3]等領域中數萬條已證明定理且仍不斷在增加中的資料庫。
參考資料
- ^ Release 0.198. 2021年8月8日 [2022年7月27日].
- ^ 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）.