Skip to main content
  • 登录
  • 注册
开放知识图谱
  • 首页
  • 开放资源
    • 开放图谱
    • 开源工具
  • 开放评测
    • OneEval大模型榜单
    • 知识图谱系列评测
  • 精选项目
    • 精选数据
    • 精选工具
  • 兴趣小组
  • 关于我们
    • OpenKG发起人
    • OpenKG TOC
    • OpenKG委员会
  • 致谢
    • OpenKG志愿者
    • 支持机构和单位
  • chatOpenKG
  1. Home
  2. Organisations
  3. 个人
  4. 使用Lean 4 的Mathlib 库的数学知识图谱

使用Lean 4 的Mathlib 库的数学知识图谱

Followers
2

Organisation

personal

个人

提供给个人的资源上传入口

read more

Social

  • Twitter
  • Facebook

License

Other (Open) [Open Data]

  • Dataset
  • Groups
  • Activity Stream

Groups

  • education

    科教

    View 科教

Copyright©2015-2024 OpenKG All Rights Reserved | 浙ICP备16022158号-1