Skip to content
GitLab
菜单
为什么选择 GitLab
定价
联系销售
探索
为什么选择 GitLab
定价
联系销售
探索
登录
获取免费试用
数学主义
Leanprover Community.Github.Io
仓库
leanprover-community.github.io
LICENSE
查找文件
Blame
历史
永久链接
correct license
· 0a1e49d1
由
Bryan Gin-ge Chen
创作于
5月 18, 2020
0a1e49d1
该项目在
MIT License
下获得许可。
进一步了解