Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

rocq-prover/platform-docs

Inicia sesión para seguir Ver en GitHub

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

¿Es rocq-prover/platform-docs apto para principiantes?

Hemos visto muy pocos pull requests recientes de colaboradores externos en rocq-prover/platform-docs para saber con qué frecuencia se fusionan. Ahora mismo hay 1 issue apto para principiantes abierto.

Estrellas
26
Forks
25
Issues abiertos para principiantes
1
Issues indexados
44
Lenguaje dominante
Rocq Prover
Licencia
Sin datos de licencia
Último push a GitHub
1/9/2026
Última indexación
19/9/2026
Guía de contribución
Sin código de conducta
Etiquetas para principiantes
help wanted
Sin PR fusionados en 30 d

Cómo contribuir a rocq-prover/platform-docs

  1. Lee primero la guía de contribución: explica cómo quieren los mantenedores que se propongan, prueben y revisen los cambios.
  2. Elige el issue abierto apto para principiantes de abajo y comenta que quieres trabajar en él antes de empezar.
Para principiantes Todo
Abierto Todos

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

  • Suggestions for improvement on tutorial: Hierarchy Builder by Quentin Vermande
    Abierto
    • ¿Algo no está bien?

    Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

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

  • Tutorial on Coercions
    Abierto
    • ¿Algo no está bien?
    Wish

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    rocq-prover/platform-docs#117 ·

  • Replace all occurences of Coq by Rocq once Rocq Platform 9 is released
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

    rocq-prover/platform-docs#108 ·

  • Improve tuto Equations wf: compute with wf and opaque proof
    Abierto
    • ¿Algo no está bien?
    documentation Improvements

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    rocq-prover/platform-docs#107 ·

  • Explanation Uniform vs Non-uniform vs indices
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

    rocq-prover/platform-docs#106 ·

  • Ltac2: Tuto Ltac2 for Ltac1 users
    Abierto
    • ¿Algo no está bien?
    documentation Wish

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    rocq-prover/platform-docs#103 ·

  • Tuto Implicit Arguments
    Abierto
    • ¿Algo no está bien?
    documentation Wish

    Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

    rocq-prover/platform-docs#102 ·

  • Ltac2: Write a tuto about writing scripts
    Abierto
    • ¿Algo no está bien?
    documentation Wish

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    rocq-prover/platform-docs#100 ·

  • Ltac2: Adapt tuto chaining tactics to Ltac1
    Abierto
    • ¿Algo no está bien?
    documentation Wish

    Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

    rocq-prover/platform-docs#99 ·

  • Ltac2: How to write a reflection tactic
    Abierto
    • ¿Algo no está bien?
    documentation

    Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

    rocq-prover/platform-docs#98 ·

  • Ltac2: Intro to Ltac2
    Abierto
    • ¿Algo no está bien?
    documentation

    Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

    rocq-prover/platform-docs#97 ·

  • Ltac2: Write a tuto on Notations
    Abierto
    • ¿Algo no está bien?
    documentation

    Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

    rocq-prover/platform-docs#95 ·

  • Ltac2: Write a tuto Ltac2 Basics
    Abierto
    • ¿Algo no está bien?
    documentation

    Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

    rocq-prover/platform-docs#92 ·

  • Universe polymorphism comment
    Abierto
    • ¿Algo no está bien?
    documentation Improvements

    Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100

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

  • Write a tutorial about register
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

    rocq-prover/platform-docs#87 ·

  • How to control unfolding
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

    rocq-prover/platform-docs#83 ·

  • Tutorial Primitive Project
    Abierto
    • ¿Algo no está bien?

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    rocq-prover/platform-docs#82 ·

  • Tutorial Inductive Types
    Abierto
    • ¿Algo no está bien?

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

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

  • Tutorial itauto
    Abierto
    • ¿Algo no está bien?
    documentation

    Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

    rocq-prover/platform-docs#80 ·

  • Explanation Qed vs Defined when to use which
    Abierto
    • ¿Algo no está bien?
    documentation

    Dificultad 3/5 1-2 días Aptitud para principiantes 38/100

    rocq-prover/platform-docs#78 ·

  • Explanation differences between Prop, SProp, hProp
    Abierto
    • ¿Algo no está bien?
    documentation Help Wanted Wish

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    rocq-prover/platform-docs#74 ·

  • Chaining tactics issues
    Abierto
    • ¿Algo no está bien?
    documentation Improvements

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

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

  • What is the difference between induction and destruct, and when to use what
    Abierto
    • ¿Algo no está bien?
    documentation Help Wanted Wish

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    rocq-prover/platform-docs#69 ·

  • Transfer the tuto "declaring instance in mathcomp" to platform docs
    Abierto
    • ¿Algo no está bien?
    documentation

    Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100

    rocq-prover/platform-docs#60 ·

  • How not to never need more than three bullets
    Abierto
    • ¿Algo no está bien?
    documentation Help Wanted Wish

    Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

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

  • Write a How-to reason about intrinsic syntax using Equations
    Abierto
    • ¿Algo no está bien?
    documentation Wish

    Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

    rocq-prover/platform-docs#57 ·

  • Tutorial Equations and Extraction ?
    Abierto
    • ¿Algo no está bien?
    documentation Wish

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    rocq-prover/platform-docs#53 ·

  • Improve Equations wf: add Chunk Monoid example
    Abierto
    • ¿Algo no está bien?
    documentation Help Wanted Improvements

    Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

    rocq-prover/platform-docs#52 ·

  • How-to about SProp
    Abierto
    • ¿Algo no está bien?
    documentation Wish

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    rocq-prover/platform-docs#51 ·

  • Tutotorial about SProp
    Abierto
    • ¿Algo no está bien?
    documentation Wish

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    rocq-prover/platform-docs#50 ·

  • Improve Equations wf discussing subterm relation
    Abierto
    • ¿Algo no está bien?
    documentation Help Wanted Improvements

    Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

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

  • Improve the discussions on TemplatePoly and UnivPoly
    Abierto
    • ¿Algo no está bien?
    documentation Improvements

    Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

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

  • Improve Equations basics discussing Equations and mutual inductive types
    Abierto
    • ¿Algo no está bien?
    documentation Help Wanted Improvements

    Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

    rocq-prover/platform-docs#45 ·

  • Tutorial about Universes
    Abierto
    • ¿Algo no está bien?
    documentation Wish

    Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

    rocq-prover/platform-docs#44 ·

  • How-to compute and print the dependecy graph of a repo
    Abierto
    • ¿Algo no está bien?
    documentation Help Wanted Wish

    Dificultad 4/5 3-5 días Aptitud para principiantes 20/100

    rocq-prover/platform-docs#43 ·

  • How-to set up a CoqProject
    Abierto
    • ¿Algo no está bien?
    documentation Help Wanted Wish

    Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

    rocq-prover/platform-docs#42 · 1 comentario · 1 reacción ·

  • Set up deployment for PR
    Abierto
    • ¿Algo no está bien?
    Web Interface

    Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

    rocq-prover/platform-docs#41 ·

  • Improve Welcoming page (set up Sphinx ?)
    Abierto
    • ¿Algo no está bien?
    Web Interface

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    rocq-prover/platform-docs#40 ·

  • Switch from coqdoc to alectryon
    Abierto
    • ¿Algo no está bien?
    Web Interface

    Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

    rocq-prover/platform-docs#39 ·

  • Write Tuto Equations and Views
    Quizá libre de nuevo Abierto
    • ¿Algo no está bien?
    documentation Wish

    rocq-prover/platform-docs#38 · 1 comentario · 1 asignado ·

  • Crediting main contributors
    Abierto
    • ¿Algo no está bien?
    Repository Wish

    Dificultad 3/5 1-2 días Aptitud para principiantes 30/100

    rocq-prover/platform-docs#36 · 1 reacción ·

  • Ideal Technical Framework
    Abierto
    • ¿Algo no está bien?

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

    rocq-prover/platform-docs#14 ·

  • Set up an action
    Abierto
    • ¿Algo no está bien?

    Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

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

  • The table of content should be an output, not an input
    Posiblemente ocupada Abierto
    • ¿Algo no está bien?

    Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

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

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.