热门问题
时间线
聊天
视角
Metamath
来自维基百科，自由的百科全书
Remove ads
Metamath是用来发展严格形式化数学定义及证明的一款语言[2]，亦指用来验证该语言的证明验证器，以及存有逻辑、集合论、数论、群论、代数、数学分析、拓扑学、希尔伯特空间及量子逻辑[3]等领域中数万条已证明定理且仍不断在增加中的资料库。
参考资料
外部链接
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads
来自维基百科，自由的百科全书
Metamath是用来发展严格形式化数学定义及证明的一款语言[2]，亦指用来验证该语言的证明验证器，以及存有逻辑、集合论、数论、群论、代数、数学分析、拓扑学、希尔伯特空间及量子逻辑[3]等领域中数万条已证明定理且仍不断在增加中的资料库。
Seamless Wikipedia browsing. On steroids.