leanprover/lp
Xem trên GitHubLinear programming in Lean 4: lp and maximize tactics, plus a verified SoPlex-backed solver.
- Star
- 11
- Fork
- 0
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 3
- Merge trung bình
- 4 giờ 48 phút
- Pull request đã merge (30 ngày)
- 1
- Ngôn ngữ chính
- Lean
- Giấy phép
- Apache-2.0
- Lần push lên GitHub gần nhất
- 26/8/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ó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
leanprover/lp#49 · 1 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
leanprover/lp#48 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
leanprover/lp#1 ·