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

rocq-prover/platform-docs

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

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.

rocq-prover/platform-docs 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 rocq-prover/platform-docs để 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
26
Fork
25
Issue cho người mới đang mở
1
Issue đã lập chỉ mục
44
Ngôn ngữ chính
Rocq Prover
Giấy phép
Không có dữ liệu giấy phép
Lần push lên GitHub gần nhất
1/9/2026
Lập chỉ mục gần nhất
19/9/2026
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 rocq-prover/platform-docs

  1. Hãy đọc hướng dẫn đóng góp trước: nó cho biết maintainer muốn thay đổi được đề xuất, kiểm thử và review ra sao.
  2. 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

  • Suggestions for improvement on tutorial: Hierarchy Builder by Quentin Vermande
    Đ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 48/100

    rocq-prover/platform-docs#118 · 3 bình luận ·

  • Tutorial on Coercions
    Đang mở
    • Có gì không ổn?
    Wish

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

    rocq-prover/platform-docs#117 ·

  • Replace all occurences of Coq by Rocq once Rocq Platform 9 is released
    Đ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 25/100

    rocq-prover/platform-docs#108 ·

  • Improve tuto Equations wf: compute with wf and opaque proof
    Đang mở
    • Có gì không ổn?
    documentation Improvements

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

    rocq-prover/platform-docs#107 ·

  • Explanation Uniform vs Non-uniform vs indices
    Đ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

    rocq-prover/platform-docs#106 ·

  • Ltac2: Tuto Ltac2 for Ltac1 users
    Đang mở
    • Có gì không ổn?
    documentation Wish

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

    rocq-prover/platform-docs#103 ·

  • Tuto Implicit Arguments
    Đang mở
    • Có gì không ổn?
    documentation Wish

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

    rocq-prover/platform-docs#102 ·

  • Ltac2: Write a tuto about writing scripts
    Đang mở
    • Có gì không ổn?
    documentation Wish

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

    rocq-prover/platform-docs#100 ·

  • Ltac2: Adapt tuto chaining tactics to Ltac1
    Đang mở
    • Có gì không ổn?
    documentation Wish

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

    rocq-prover/platform-docs#99 ·

  • Ltac2: How to write a reflection tactic
    Đang mở
    • Có gì không ổn?
    documentation

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

    rocq-prover/platform-docs#98 ·

  • Ltac2: Intro to Ltac2
    Đang mở
    • Có gì không ổn?
    documentation

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

    rocq-prover/platform-docs#97 ·

  • Ltac2: Write a tuto on Notations
    Đang mở
    • Có gì không ổn?
    documentation

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

    rocq-prover/platform-docs#95 ·

  • Ltac2: Write a tuto Ltac2 Basics
    Đang mở
    • Có gì không ổn?
    documentation

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

    rocq-prover/platform-docs#92 ·

  • Universe polymorphism comment
    Đang mở
    • Có gì không ổn?
    documentation Improvements

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

    rocq-prover/platform-docs#89 · 7 bình luận ·

  • Write a tutorial about register
    Đ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

    rocq-prover/platform-docs#87 ·

  • How to control unfolding
    Đ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

    rocq-prover/platform-docs#83 ·

  • Tutorial Primitive Project
    Đ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

    rocq-prover/platform-docs#82 ·

  • Tutorial Inductive Types
    Đ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

    rocq-prover/platform-docs#81 · 5 bình luận ·

  • Tutorial itauto
    Đang mở
    • Có gì không ổn?
    documentation

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

    rocq-prover/platform-docs#80 ·

  • Explanation Qed vs Defined when to use which
    Đang mở
    • Có gì không ổn?
    documentation

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

    rocq-prover/platform-docs#78 ·

  • Explanation differences between Prop, SProp, hProp
    Đang mở
    • Có gì không ổn?
    documentation Help Wanted Wish

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

    rocq-prover/platform-docs#74 ·

  • Chaining tactics issues
    Đang mở
    • Có gì không ổn?
    documentation Improvements

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

    rocq-prover/platform-docs#72 · 2 bình luận ·

  • What is the difference between induction and destruct, and when to use what
    Đang mở
    • Có gì không ổn?
    documentation Help Wanted Wish

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

    rocq-prover/platform-docs#69 ·

  • Transfer the tuto "declaring instance in mathcomp" to platform docs
    Đang mở
    • Có gì không ổn?
    documentation

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

    rocq-prover/platform-docs#60 ·

  • How not to never need more than three bullets
    Đang mở
    • Có gì không ổn?
    documentation Help Wanted Wish

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

    rocq-prover/platform-docs#59 · 2 bình luận ·

  • Write a How-to reason about intrinsic syntax using Equations
    Đang mở
    • Có gì không ổn?
    documentation Wish

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

    rocq-prover/platform-docs#57 ·

  • Tutorial Equations and Extraction ?
    Đang mở
    • Có gì không ổn?
    documentation Wish

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

    rocq-prover/platform-docs#53 ·

  • Improve Equations wf: add Chunk Monoid example
    Đang mở
    • Có gì không ổn?
    documentation Help Wanted Improvements

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

    rocq-prover/platform-docs#52 ·

  • How-to about SProp
    Đang mở
    • Có gì không ổn?
    documentation Wish

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

    rocq-prover/platform-docs#51 ·

  • Tutotorial about SProp
    Đang mở
    • Có gì không ổn?
    documentation Wish

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

    rocq-prover/platform-docs#50 ·

  • Improve Equations wf discussing subterm relation
    Đang mở
    • Có gì không ổn?
    documentation Help Wanted Improvements

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

    rocq-prover/platform-docs#49 · 2 bình luận ·

  • Improve the discussions on TemplatePoly and UnivPoly
    Đang mở
    • Có gì không ổn?
    documentation Improvements

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

    rocq-prover/platform-docs#46 · 4 bình luận ·

  • Improve Equations basics discussing Equations and mutual inductive types
    Đang mở
    • Có gì không ổn?
    documentation Help Wanted Improvements

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

    rocq-prover/platform-docs#45 ·

  • Tutorial about Universes
    Đang mở
    • Có gì không ổn?
    documentation Wish

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

    rocq-prover/platform-docs#44 ·

  • How-to compute and print the dependecy graph of a repo
    Đang mở
    • Có gì không ổn?
    documentation Help Wanted Wish

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

    rocq-prover/platform-docs#43 ·

  • How-to set up a CoqProject
    Đang mở
    • Có gì không ổn?
    documentation Help Wanted Wish

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

    rocq-prover/platform-docs#42 · 1 bình luận · 1 reaction ·

  • Set up deployment for PR
    Đang mở
    • Có gì không ổn?
    Web Interface

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

    rocq-prover/platform-docs#41 ·

  • Improve Welcoming page (set up Sphinx ?)
    Đang mở
    • Có gì không ổn?
    Web Interface

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

    rocq-prover/platform-docs#40 ·

  • Switch from coqdoc to alectryon
    Đang mở
    • Có gì không ổn?
    Web Interface

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

    rocq-prover/platform-docs#39 ·

  • Write Tuto Equations and Views
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    documentation Wish

    rocq-prover/platform-docs#38 · 1 bình luận · 1 người được giao ·

  • Crediting main contributors
    Đang mở
    • Có gì không ổn?
    Repository Wish

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

    rocq-prover/platform-docs#36 · 1 reaction ·

  • Ideal Technical Framework
    Đ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

    rocq-prover/platform-docs#14 ·

  • Set up an action
    Đ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

    rocq-prover/platform-docs#6 · 1 bình luận ·

  • The table of content should be an output, not an input
    Có thể đã có người làm Đ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

    rocq-prover/platform-docs#10 · 2 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.