leanprover/lean4-cli
Xem trên GitHubA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
- Star
- 120
- Fork
- 30
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 2
- Merge trung bình
- 5 phút
- Pull request đã merge (30 ngày)
- 4
- Ngôn ngữ chính
- Lean
- Giấy phép
- MIT
- Lần push lên GitHub gần nhất
- 16/9/2026
- Lập chỉ mục gần nhất
- 20/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- Chưa lập chỉ mục label nào cho người mới
Đang tải issue
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
leanprover/lean4-cli#89 ·
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
leanprover/lean4-cli#2 ·