leanprover-community4.094
Sao1.674
Fork282
Issue mở4.077
WatcherApache-2.0
Giấy phépLean
Ngôn ngữ9 thg 5, 2021
Tạo lúc11 thg 9, 2026
Push cuối+17
Tăng trưởng sao · 1 ngàyChưa đủ dữ liệu
Tăng trưởng sao · 7 ngàyChưa đủ dữ liệu
Tăng trưởng sao · 30 ngày