所有者 · leanprover-community

leanprover-community

leanprover-community 收录中的开源项目，按星标数排序。

共 4 个项目

#1
mathlib4 ↗@leanprover-communityLean
Lean 4 的数学库
★ 3,989+0近 7 天星标变化
#2
physlib ↗@leanprover-communityLean
一个将物理学研究成果数字化并写入 Lean 的项目
★ 733+7近 7 天星标变化
#3
mathematics_in_lean ↗@leanprover-communityHTML
Mathematics in Lean 教程课程的用户主仓库
★ 586+1近 7 天星标变化
#4
lean4game ↗@leanprover-communityTypeScript
用于托管 Lean 游戏的服务器。
★ 551+3近 7 天星标变化