M

Mathlib4

项目信息

https://github.com/leanprover-community/mathlib4 的镜像仓库

  • 8,162 次提交
  • 3,352 个分支
  • 18 个标签
  • 自述文件
  • Apache License 2.0

创建于

2023年09月14日
加载中
关于极狐(GitLab)
违法和不良信息举报中心 京公网安备11010502047940号 京ICP备2021036779号-1