Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

DomTheDeveloper/crl

Đăng nhập để theo dõi Xem trên GitHub

DomTheDeveloper/crl có thân thiện với người mới không?

Gần đây có quá ít pull request của người đóng góp bên ngoài gửi tới DomTheDeveloper/crl để nói chúng được merge thường xuyên đến đâu. Hiện chưa có issue nào phù hợp với người mới đang mở; danh sách bên dưới là các issue khác chúng tôi có của kho này.

Star
0
Fork
1
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
19
Ngôn ngữ chính
Lean
Giấy phép
Không có dữ liệu giấy phép
Lần push lên GitHub gần nhất
25/8/2026
Lập chỉ mục gần nhất
20/9/2026
Không có hướng dẫn đóng góp
Không có quy tắc ứng xử
Label cho người mới
help wanted
Không có pull request nào được merge trong 30 ngày

Cách đóng góp cho DomTheDeveloper/crl

  1. Dự án không có hướng dẫn đóng góp, vì vậy hãy bắt đầu từ README và vài pull request vừa được merge để xem thay đổi được đề xuất thế nào.
  2. Theo dõi kho này để biết khi có issue mới phù hợp với người mới, hoặc xem các issue khác bên dưới.
Phù hợp cho người mới Tất cả
Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

  • Temporary Lean 4.27 verification transport — close after check
    Đang mở
    • Có gì không ổn?

    Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 35/100

    DomTheDeveloper/crl#219 ·

  • Temporary VC2 AXLE screenshot transport
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 20/100

    DomTheDeveloper/crl#212 · 1 bình luận ·

  • A248380 / Sylver Coinage after 16 — odd replies closed, even branches remain
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    DomTheDeveloper/crl#208 · 1 bình luận · 1 người được giao ·

  • Independent review requested: Bernstein–Bézier coefficient-inner-cone grand theorem
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    DomTheDeveloper/crl#152 · 1 bình luận · 1 người được giao ·

  • Independent audit: Grand Barrier formalization and 2026 prior-art collision
    Đang mở
    • Có gì không ổn?
    help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    DomTheDeveloper/crl#134 ·

  • Independent audit: Grand positive-basis Minkowski repair and saturation theorem
    Đang mở
    • Có gì không ổn?
    help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    DomTheDeveloper/crl#129 ·

  • Audit panel E: nonlinear Bernstein grand theorem and codimension law
    Đang mở
    • Có gì không ổn?
    help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    DomTheDeveloper/crl#125 · 1 bình luận ·

  • Independent audit: Bernstein V6 strongly monotone grand theorem
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    DomTheDeveloper/crl#123 · 1 bình luận ·

  • Audit panel E: unified grand positive-basis theorem
    Đang mở
    • Có gì không ổn?
    help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 18/100

    DomTheDeveloper/crl#122 · 3 bình luận ·

  • Audit the Bernstein grand order-interval and Banach-scale clipping theorems
    Đang mở
    • Có gì không ổn?
    help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    DomTheDeveloper/crl#120 · 1 bình luận ·

  • $5,000 clean-room reproduction bounty: Bernstein obstacle and curved Hertz results
    Đang mở
    • Có gì không ổn?
    help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    DomTheDeveloper/crl#103 · 7 bình luận ·

  • External reviewers wanted: signed Bernstein obstacle audit reports
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    help wanted

    DomTheDeveloper/crl#102 · 9 bình luận · 1 người được giao ·

  • Audit panel D: Lean statement faithfulness and no-penetration bridge
    Đang mở
    • Có gì không ổn?
    help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    DomTheDeveloper/crl#101 · 4 bình luận ·

  • Audit panel C: regular free-boundary clipping and 3/2 energy rate
    Đang mở
    • Có gì không ổn?
    help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    DomTheDeveloper/crl#100 · 7 bình luận ·

  • Audit panel B: Mosco convergence and finite-element recovery
    Đang mở
    • Có gì không ổn?
    help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    DomTheDeveloper/crl#99 · 8 bình luận ·

  • Audit panel A: Bernstein approximation and prior-art collision
    Đang mở
    • Có gì không ổn?
    help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    DomTheDeveloper/crl#98 · 3 bình luận ·

  • Lean formalization bounty: Bernstein obstacle theorem package
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    help wanted

    DomTheDeveloper/crl#97 · 6 bình luận · 1 người được giao ·

  • Independent audit requested: Bernstein obstacle Mosco and free-boundary theorem
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    DomTheDeveloper/crl#96 · 5 bình luận · 1 người được giao ·

  • Temporary Voronovskaja bootstrap manifest
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    DomTheDeveloper/crl#46 ·

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.