开源序GitHub 开源项目排行

leanprover-community / mathematics_in_lean

“Lean中的数学”教程的用户主页仓库。

仓库 Star: 627总榜 #53,714
Fork: 442
最近推送: 9 天前更新
仓库创建: 2020 年创建

应用与完整系统通用HTMLApache-2.0 · 宽松，可直接商用

用途与标签

项目原文 · GitHub

The user home repository for the Mathematics in Lean tutorial.

Star 走势