M

Mathlib

项目信息

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

18,269 次提交
3,435 个分支
3 个标签

自述文件
Apache License 2.0

创建于

2022年12月04日

加载中

关于极狐(GitLab)

违法和不良信息举报中心

京公网安备11010502047940号京ICP备2021036779号-1