维基百科
metamath, 是用來發展嚴格形式化數學定義及證明的一款語言, 亦指用來驗證該語言的證明驗證器, 以及存有邏輯, 集合論, 數論, 群論, 代數, 數學分析, 拓撲學, 希爾伯特空間及量子邏輯, 等領域中數萬條已證明定理且仍不斷在增加中的資料庫, 開發者norman, megill目前版本0, 2021年8月7日, 源代码库github, metamath, metamath, exe编程语言ansi, c操作系统linux, windows, os类型電腦補助證明驗證许可协议gnu通用公共授權條款, 資料庫使. Metamath是用來發展嚴格形式化數學定義及證明的一款語言 2 亦指用來驗證該語言的證明驗證器 以及存有邏輯 集合論 數論 群論 代數 數學分析 拓撲學 希爾伯特空間及量子邏輯 3 等領域中數萬條已證明定理且仍不斷在增加中的資料庫 Metamath開發者Norman Megill目前版本0 198 2021年8月7日 1 源代码库github wbr com wbr metamath wbr metamath exe编程语言ANSI C操作系统Linux Windows Mac OS类型電腦補助證明驗證许可协议GNU通用公共授權條款 資料庫使用創用CC 网站http metamath org參考資料 编辑 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 外部連結 编辑Metamath 页面存档备份 存于互联网档案馆 官方網站 取自 https zh wikipedia org w index php title Metamath amp oldid 64174027, 维基百科，wiki，书籍，书籍，图书馆，