Skip to content
GitLab
菜单
为什么选择 GitLab
定价
联系销售
探索
为什么选择 GitLab
定价
联系销售
探索
登录
获取免费试用
数学主义
Leanprover Community.Github.Io
分支
概览
活跃
非活跃
全部
非活跃分支
oldsite
4b3e5011
·
remove lean-web-editor
·
5月 09, 2020
allow_semicolons_in_single_line_tactic_proofs
319aae22
·
Allow semicolons in single line tactic proofs.
·
10月 01, 2020
thm-count
5001ee1d
·
fix theorem count on stats page
·
3月 06, 2021
month-in-lean
27262559
·
mention fundamental domain instead of modular forms
·
8月 31, 2021
cipher1024-patch-1
4d113278
·
Update data/maintainers.yaml
·
1月 05, 2022