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

OpenLogicProject/OpenLogic

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

An open-source, customizable intermediate logic textbook

OpenLogicProject/OpenLogic 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 OpenLogicProject/OpenLogic để nói chúng được merge thường xuyên đến đâu. Hiện có 1 issue phù hợp với người mới đang mở.

Star
1.4k
Fork
289
Issue cho người mới đang mở
1
Issue đã lập chỉ mục
43
Ngôn ngữ chính
TeX
Giấy phép
CC-BY-4.0
Lần push lên GitHub gần nhất
14/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
Chưa lập chỉ mục label nào cho người mới
Không có pull request nào được merge trong 30 ngày

Cách đóng góp cho OpenLogicProject/OpenLogic

  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. Đóng góp của bạn sẽ được phát hành theo giấy phép CC-BY-4.0 của dự án.
  3. Chọn issue phù hợp với người mới đang mở bên dưới và bình luận rằng bạn muốn làm nó trước khi bắt đầu.
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

  • Consolidated translation findings: 14 source-fix groups with an applicable patch
    Đ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 50/100

    OpenLogicProject/OpenLogic#436 ·

  • Seven localized source corrections found during translation QA
    Đ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 68/100

    OpenLogicProject/OpenLogic#435 · 1 bình luận ·

  • Order-type of models of PA
    Đ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 30/100

    OpenLogicProject/OpenLogic#425 · 1 bình luận ·

  • Improve docs
    Đ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

    OpenLogicProject/OpenLogic#390 ·

  • Linting/Spellchecking workflow
    Đ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 30/100

    OpenLogicProject/OpenLogic#389 · 1 bình luận ·

  • Can I contribute proofs to theorems whose proof left for exercise?
    Đ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 20/100

    OpenLogicProject/OpenLogic#362 · 3 bình luận ·

  • Russel's Paradox typo
    Đ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 65/100

    OpenLogicProject/OpenLogic#339 · 1 bình luận ·

  • More precise definition of derivations in natural deduction
    Đ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 38/100

    OpenLogicProject/OpenLogic#300 · 4 bình luận ·

  • Justify intuitionistic logic through the BHK interpretation could be problematic
    Đ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

    OpenLogicProject/OpenLogic#288 ·

  • Recursive functions and the Church-Turing thesis
    Đ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 25/100

    OpenLogicProject/OpenLogic#232 · 4 bình luận · 1 reaction ·

  • Provide the reader with full information
    Đ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

    OpenLogicProject/OpenLogic#227 · 1 reaction ·

  • [feature request] Grounding examples for abstract concepts
    Đ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 35/100

    OpenLogicProject/OpenLogic#225 ·

  • Turing machine continuity w/ other definitions
    Đang mở
    • Có gì không ổn?

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

    OpenLogicProject/OpenLogic#221 · 1 bình luận ·

  • Convert formulas to OLP commands in set-theory
    Đ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 35/100

    OpenLogicProject/OpenLogic#205 ·

  • Uniformize reduction, conversion, contraction, equivalence
    Đ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 30/100

    OpenLogicProject/OpenLogic#190 ·

  • Add proof of fundamental theorem of arithmetic
    Đ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

    OpenLogicProject/OpenLogic#189 · 3 bình luận ·

  • Proof of Consistency Expansion (First Order Logic - Completeness)
    Đ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

    OpenLogicProject/OpenLogic#179 · 1 bình luận ·

  • Make tableaux into decision procedures when possible
    Đ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

    OpenLogicProject/OpenLogic#178 · 1 bình luận ·

  • Make tableaux signed/unsigned per tag
    Đ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 35/100

    OpenLogicProject/OpenLogic#176 ·

  • Syntax and Semantics for FOL material has become too technical
    Đ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

    OpenLogicProject/OpenLogic#173 · 3 bình luận ·

  • Left-align signed formulas in tableaux
    Đ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

    OpenLogicProject/OpenLogic#172 ·

  • Completeness for modal tableaux
    Đ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

    OpenLogicProject/OpenLogic#171 · 1 bình luận ·

  • On verifying that primitive-recursive functions are provably total in PA
    Đ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 25/100

    OpenLogicProject/OpenLogic#160 · 9 bình luận ·

  • Make independent of memoir
    Đang mở
    • Có gì không ổn?
    LaTeX

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

    OpenLogicProject/OpenLogic#151 ·

  • PDF generation for reviewing changes in pull requests
    Đ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

    OpenLogicProject/OpenLogic#148 · 14 bình luận ·

  • Figure out how diagrams should work
    Đ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 20/100

    OpenLogicProject/OpenLogic#141 · 1 bình luận ·

  • Provability in PA
    Đ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 35/100

    OpenLogicProject/OpenLogic#128 ·

  • Explain formulas in SOL
    Đ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 48/100

    OpenLogicProject/OpenLogic#127 ·

  • Index
    Đang mở
    • Có gì không ổn?
    LaTeX

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

    OpenLogicProject/OpenLogic#84 ·

  • Generate PDF/A output
    Đang mở
    • Có gì không ổn?
    enhancement LaTeX

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

    OpenLogicProject/OpenLogic#82 ·

  • Replace token mechanism with one based on glossaries.sty
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    enhancement

    OpenLogicProject/OpenLogic#78 · 1 người được giao ·

  • Make the OLP accessible
    Đang mở
    • Có gì không ổn?
    enhancement LaTeX

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

    OpenLogicProject/OpenLogic#76 · 1 bình luận ·

  • Replace tag backend by tagged package
    Đang mở
    • Có gì không ổn?
    enhancement LaTeX

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

    OpenLogicProject/OpenLogic#75 ·

  • Expand chapter on "Lambda Calculus"
    Đang mở
    • Có gì không ổn?
    enhancement

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

    OpenLogicProject/OpenLogic#66 ·

  • Part on "Intuitionistic Logic"
    Đang mở
    • Có gì không ổn?
    addition

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

    OpenLogicProject/OpenLogic#64 ·

  • Abstract logic satisfaction relation hardcoded
    Đang mở
    • Có gì không ổn?

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

    OpenLogicProject/OpenLogic#55 · 2 bình luận ·

  • Additions from available (non-CC) material
    Đang mở
    • Có gì không ổn?
    enhancement

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

    OpenLogicProject/OpenLogic#41 · 5 bình luận ·

  • Glossary & List/Index of symbols
    Đang mở
    • Có gì không ổn?
    enhancement LaTeX

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

    OpenLogicProject/OpenLogic#40 · 2 bình luận ·

  • More careful object/metalanguage distinction
    Đ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 20/100

    OpenLogicProject/OpenLogic#24 · 1 bình luận ·

  • Add provability with open formulas
    Đ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 35/100

    OpenLogicProject/OpenLogic#18 ·

  • Alternate Representability in Q for Recursive Functions
    Đ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 20/100

    OpenLogicProject/OpenLogic#17 ·

  • open-logic-defer should offer more options
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    enhancement LaTeX

    OpenLogicProject/OpenLogic#3 · 1 người được giao ·

  • Part on "Model Theory"
    Có thể đã có người làm Đang mở
    • Có gì không ổn?
    enhancement

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

    OpenLogicProject/OpenLogic#65 · 1 bình luận ·

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.