热门问题
时间线
聊天
视角
Metamath
来自维基百科，自由的百科全书
Remove ads
Metamath是用來發展嚴格形式化數學定義及證明的一款語言[2]，亦指用來驗證該語言的證明驗證器，以及存有邏輯、集合論、數論、群論、代數、數學分析、拓撲學、希爾伯特空間及量子邏輯[3]等領域中數萬條已證明定理且仍不斷在增加中的資料庫。
參考資料
外部連結
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads
来自维基百科，自由的百科全书
Metamath是用來發展嚴格形式化數學定義及證明的一款語言[2]，亦指用來驗證該語言的證明驗證器，以及存有邏輯、集合論、數論、群論、代數、數學分析、拓撲學、希爾伯特空間及量子邏輯[3]等領域中數萬條已證明定理且仍不斷在增加中的資料庫。
Seamless Wikipedia browsing. On steroids.