leanprover9.110
Sao973
Fork1.640
Issue mở9.110
WatcherApache-2.0
Giấy phépLean
Ngôn ngữ15 thg 4, 2018
Tạo lúc11 thg 9, 2026
Push cuốiChưa đủ dữ liệu
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àySao trong 90 ngày gần nhất
Chưa có đủ dữ liệu lịch sử để vẽ biểu đồ.