leanprover/leanprover.github.io
Xem trên GitHubwww
- Star
- 17
- Fork
- 25
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 13
- Ngôn ngữ chính
- HTML
- Giấy phép
- Không có dữ liệu giấy phép
- Lần push lên GitHub gần nhất
- 13/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
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 55/100
leanprover/leanprover.github.io#102 · 2 bình luận ·
-
Website Changes Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100
leanprover/leanprover.github.io#66 · 1 bình luận · 3 reaction ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
leanprover/leanprover.github.io#61 · 1 bình luận ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100
-
enhancement
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 38/100
leanprover/leanprover.github.io#38 · 2 bình luận ·
-
autorun option (via get) Đang mởeditor enhancement
leanprover/leanprover.github.io#21 · 1 người được giao ·
-
editor enhancement
leanprover/leanprover.github.io#20 · 1 người được giao ·
-
OneDrive Support Đang mởeditor enhancement
leanprover/leanprover.github.io#19 · 1 người được giao ·
-
editor
leanprover/leanprover.github.io#14 · 1 người được giao ·
-
editor
leanprover/leanprover.github.io#6 · 1 người được giao ·
-
help button Đang mởeditor
leanprover/leanprover.github.io#5 · 1 người được giao ·
-
flycheck-like syntax checker Đang mởeditor
leanprover/leanprover.github.io#4 · 1 bình luận · 1 người được giao ·