Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

rocq-prover/platform-docs

Accedi per seguire Vedi su GitHub

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

rocq-prover/platform-docs è adatto ai principianti?

Abbiamo visto troppo poche pull request recenti di contributori esterni su rocq-prover/platform-docs per dire quanto spesso vengono accettate. In questo momento è aperta 1 issue adatta ai principianti.

Stelle
26
Fork
25
Issue aperte per principianti
1
Issue indicizzate
44
Lingua principale
Rocq Prover
Licenza
Nessun dato sulla licenza
Ultimo push su GitHub
1/9/2026
Ultima indicizzazione
19/9/2026
Guida per i contributori
Nessun codice di condotta
Label per principianti
help wanted
Nessuna PR unita negli ultimi 30g

Come contribuire a rocq-prover/platform-docs

  1. Leggi prima la guida per contribuire: spiega come i maintainer vogliono che le modifiche siano proposte, testate e revisionate.
  2. Scegli la issue aperta adatta ai principianti qui sotto e, prima di iniziare, scrivi in un commento che vuoi occupartene.
Adatte ai principianti Tutto
Aperta Tutte

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

  • Suggestions for improvement on tutorial: Hierarchy Builder by Quentin Vermande
    Aperta
    • Qualcosa non va?

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

    rocq-prover/platform-docs#118 · 3 commenti ·

  • Tutorial on Coercions
    Aperta
    • Qualcosa non va?
    Wish

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    rocq-prover/platform-docs#117 ·

  • Replace all occurences of Coq by Rocq once Rocq Platform 9 is released
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100

    rocq-prover/platform-docs#108 ·

  • Improve tuto Equations wf: compute with wf and opaque proof
    Aperta
    • Qualcosa non va?
    documentation Improvements

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    rocq-prover/platform-docs#107 ·

  • Explanation Uniform vs Non-uniform vs indices
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

    rocq-prover/platform-docs#106 ·

  • Ltac2: Tuto Ltac2 for Ltac1 users
    Aperta
    • Qualcosa non va?
    documentation Wish

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    rocq-prover/platform-docs#103 ·

  • Tuto Implicit Arguments
    Aperta
    • Qualcosa non va?
    documentation Wish

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100

    rocq-prover/platform-docs#102 ·

  • Ltac2: Write a tuto about writing scripts
    Aperta
    • Qualcosa non va?
    documentation Wish

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    rocq-prover/platform-docs#100 ·

  • Ltac2: Adapt tuto chaining tactics to Ltac1
    Aperta
    • Qualcosa non va?
    documentation Wish

    Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

    rocq-prover/platform-docs#99 ·

  • Ltac2: How to write a reflection tactic
    Aperta
    • Qualcosa non va?
    documentation

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100

    rocq-prover/platform-docs#98 ·

  • Ltac2: Intro to Ltac2
    Aperta
    • Qualcosa non va?
    documentation

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

    rocq-prover/platform-docs#97 ·

  • Ltac2: Write a tuto on Notations
    Aperta
    • Qualcosa non va?
    documentation

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

    rocq-prover/platform-docs#95 ·

  • Ltac2: Write a tuto Ltac2 Basics
    Aperta
    • Qualcosa non va?
    documentation

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100

    rocq-prover/platform-docs#92 ·

  • Universe polymorphism comment
    Aperta
    • Qualcosa non va?
    documentation Improvements

    Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100

    rocq-prover/platform-docs#89 · 7 commenti ·

  • Write a tutorial about register
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

    rocq-prover/platform-docs#87 ·

  • How to control unfolding
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

    rocq-prover/platform-docs#83 ·

  • Tutorial Primitive Project
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    rocq-prover/platform-docs#82 ·

  • Tutorial Inductive Types
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    rocq-prover/platform-docs#81 · 5 commenti ·

  • Tutorial itauto
    Aperta
    • Qualcosa non va?
    documentation

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

    rocq-prover/platform-docs#80 ·

  • Explanation Qed vs Defined when to use which
    Aperta
    • Qualcosa non va?
    documentation

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100

    rocq-prover/platform-docs#78 ·

  • Explanation differences between Prop, SProp, hProp
    Aperta
    • Qualcosa non va?
    documentation Help Wanted Wish

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    rocq-prover/platform-docs#74 ·

  • Chaining tactics issues
    Aperta
    • Qualcosa non va?
    documentation Improvements

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    rocq-prover/platform-docs#72 · 2 commenti ·

  • What is the difference between induction and destruct, and when to use what
    Aperta
    • Qualcosa non va?
    documentation Help Wanted Wish

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    rocq-prover/platform-docs#69 ·

  • Transfer the tuto "declaring instance in mathcomp" to platform docs
    Aperta
    • Qualcosa non va?
    documentation

    Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100

    rocq-prover/platform-docs#60 ·

  • How not to never need more than three bullets
    Aperta
    • Qualcosa non va?
    documentation Help Wanted Wish

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100

    rocq-prover/platform-docs#59 · 2 commenti ·

  • Write a How-to reason about intrinsic syntax using Equations
    Aperta
    • Qualcosa non va?
    documentation Wish

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

    rocq-prover/platform-docs#57 ·

  • Tutorial Equations and Extraction ?
    Aperta
    • Qualcosa non va?
    documentation Wish

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    rocq-prover/platform-docs#53 ·

  • Improve Equations wf: add Chunk Monoid example
    Aperta
    • Qualcosa non va?
    documentation Help Wanted Improvements

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100

    rocq-prover/platform-docs#52 ·

  • How-to about SProp
    Aperta
    • Qualcosa non va?
    documentation Wish

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    rocq-prover/platform-docs#51 ·

  • Tutotorial about SProp
    Aperta
    • Qualcosa non va?
    documentation Wish

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    rocq-prover/platform-docs#50 ·

  • Improve Equations wf discussing subterm relation
    Aperta
    • Qualcosa non va?
    documentation Help Wanted Improvements

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

    rocq-prover/platform-docs#49 · 2 commenti ·

  • Improve the discussions on TemplatePoly and UnivPoly
    Aperta
    • Qualcosa non va?
    documentation Improvements

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100

    rocq-prover/platform-docs#46 · 4 commenti ·

  • Improve Equations basics discussing Equations and mutual inductive types
    Aperta
    • Qualcosa non va?
    documentation Help Wanted Improvements

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100

    rocq-prover/platform-docs#45 ·

  • Tutorial about Universes
    Aperta
    • Qualcosa non va?
    documentation Wish

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

    rocq-prover/platform-docs#44 ·

  • How-to compute and print the dependecy graph of a repo
    Aperta
    • Qualcosa non va?
    documentation Help Wanted Wish

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 20/100

    rocq-prover/platform-docs#43 ·

  • How-to set up a CoqProject
    Aperta
    • Qualcosa non va?
    documentation Help Wanted Wish

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100

    rocq-prover/platform-docs#42 · 1 commento · 1 reazione ·

  • Set up deployment for PR
    Aperta
    • Qualcosa non va?
    Web Interface

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

    rocq-prover/platform-docs#41 ·

  • Improve Welcoming page (set up Sphinx ?)
    Aperta
    • Qualcosa non va?
    Web Interface

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    rocq-prover/platform-docs#40 ·

  • Switch from coqdoc to alectryon
    Aperta
    • Qualcosa non va?
    Web Interface

    Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

    rocq-prover/platform-docs#39 ·

  • Write Tuto Equations and Views
    Forse di nuovo libera Aperta
    • Qualcosa non va?
    documentation Wish

    rocq-prover/platform-docs#38 · 1 commento · 1 assegnatario ·

  • Crediting main contributors
    Aperta
    • Qualcosa non va?
    Repository Wish

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 30/100

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

  • Ideal Technical Framework
    Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    rocq-prover/platform-docs#14 ·

  • Set up an action
    Aperta
    • Qualcosa non va?

    Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

    rocq-prover/platform-docs#6 · 1 commento ·

  • The table of content should be an output, not an input
    Forse già presa Aperta
    • Qualcosa non va?

    Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

    rocq-prover/platform-docs#10 · 2 commenti ·

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.