Chủ sở hữu · leanprover

leanprover

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

3 kho mã

#1
lean4 ↗@leanproverLean
Ngôn ngữ lập trình và công cụ chứng minh định lý Lean 4
★ 8.960+32Thay đổi số sao trong 7 ngày qua
#2
cslib ↗@leanproverLean
Thư viện Khoa học Máy tính Lean (CSLib)
★ 691+13Thay đổi số sao trong 7 ngày qua
#3
elan ↗@leanproverRust
Trình quản lý phiên bản Lean.
★ 614+7Thay đổi số sao trong 7 ngày qua