Danh mục
leanprover/lean4
Lean 4 programming language and theorem prover
LL
leanprover/lean4
Lean · danh tính provisional_slug_only
Lean 4 programming language and theorem prover
lean4lean
Sao9.7klịch sử sao
Hạng#5822snapshot toàn cục
Fork1.1kbản ghi nguồn
Số ngày trending3lịch sử xu hướng
Snapshot chỉ có lịch sử sao đầy đủ của star-history/star-history. Lịch sử thiếu thì không vẽ.
Không có README
Mở repository trên GitHub để đọc.
GitHub ↗