Chủ sở hữu · leanprover-community

leanprover-community

Các kho mã nguồn mở đang theo dõi của leanprover-community, sắp xếp theo số sao.

4 kho mã

#1
mathlib4 ↗@leanprover-communityLean
Thư viện toán học của Lean 4
★ 3.989+15Thay đổi số sao trong 7 ngày qua
#2
physlib ↗@leanprover-communityLean
Dự án số hóa các kết quả vật lý sang Lean.
★ 719+3Thay đổi số sao trong 7 ngày qua
#3
mathematics_in_lean ↗@leanprover-communityHTML
Kho lưu trữ người dùng cho hướng dẫn Mathematics in Lean.
★ 584+2Thay đổi số sao trong 7 ngày qua
#4
lean4game ↗@leanprover-communityTypeScript
Máy chủ lưu trữ các trò chơi Lean
★ 549+5Thay đổi số sao trong 7 ngày qua