Skip to main content
登录
注册
首页
开放图谱
开源工具
精选项目
精选数据
精选工具
兴趣小组
注册加入
关于我们
OpenKG发起人
OpenKG TOC
OpenKG委员会
致谢
OpenKG志愿者
支持机构和单位
首页
数据集
排序
相关度
按名称升序
按名称降序
最后修改时间
热门
Go
找到1个数据集
分类:
科教
授权:
其他(开放)
过滤结果
使用Lean 4 的Mathlib 库的数学知识图谱
Lean 4 是一种计算机辅助证明系统(proofassistant),或称交互式证明系统 (in teractive theorem prover),可用于形式化验证数学定理或计算机程序的正确性。 Mathlib 是 Lean 4 的数学库,它背后有一个活跃的开发团队,包括许多数学家...
PDF
RAR
TXT
您也可以使用
应用程式界面
(看
API文献
)注册.