擁有者 · leanprover-community

leanprover-community

leanprover-community 收錄中的開源專案，依星數排序。

共 4 個專案

#1
mathlib4 ↗@leanprover-communityLean
Lean 4 的數學函式庫
★ 3,989+0近 7 天星數變化
#2
physlib ↗@leanprover-communityLean
一個將物理學研究成果數位化並寫入 Lean 的專案
★ 724+7近 7 天星數變化
#3
mathematics_in_lean ↗@leanprover-communityHTML
Mathematics in Lean 教學課程的使用者主儲存庫
★ 584+1近 7 天星數變化
#4
lean4game ↗@leanprover-communityTypeScript
用於託管 Lean 遊戲的伺服器。
★ 551+3近 7 天星數變化