rocq-prover/bot
The Rocq Prover bot
rocq-prover/bot è adatto ai principianti?
Abbiamo visto troppo poche pull request recenti di contributori esterni su rocq-prover/bot per dire quanto spesso vengono accettate. In questo momento è aperta 1 issue adatta ai principianti.
- Stelle
- 30
- Fork
- 17
- Issue aperte per principianti
- 1
- Issue indicizzate
- 114
- Lingua principale
- OCaml
- Licenza
- MIT
- Ultimo push su GitHub
- 31/8/2026
- Ultima indicizzazione
- 19/9/2026
- Guida per i contributori
- Guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- good first issue
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Come contribuire a rocq-prover/bot
- Leggi prima la guida per contribuire: spiega come i maintainer vogliono che le modifiche siano proposte, testate e revisionate.
- Include un Dockerfile o un file Docker Compose, quindi puoi avviarlo senza installare tutta la sua toolchain.
- I tuoi contributi saranno pubblicati con la licenza MIT del progetto.
- Scegli la issue aperta adatta ai principianti qui sotto e, prima di iniziare, scrivi in un commento che vuoi occupartene.
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
rocq-prover/bot#355 · 1 commento ·
-
bug bug minimizer
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
rocq-prover/bot#353 · 2 commenti ·
-
bug minimizer enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
rocq-prover/bot#346 · 1 commento ·
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
rocq-prover/bot#342 · 2 commenti ·
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
rocq-prover/bot#339 ·
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 30/100
rocq-prover/bot#335 · 4 commenti ·
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
rocq-prover/bot#334 ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
rocq-prover/bot#327 · 7 commenti ·
-
wish: answer to `@rocqbot`Apertaenhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
rocq-prover/bot#325 · 10 commenti ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
rocq-prover/bot#323 ·
-
bug minimizer enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
rocq-prover/bot#301 ·
-
coqbot should be able to add reactions rather than just posting comments (e.g., for minimization)Apertaenhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
rocq-prover/bot#300 · 1 reazione ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
rocq-prover/bot#313 · 1 commento ·
-
"needs" and "request full CI" should be removed only after the pipeline is successfully startedApertabug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
rocq-prover/bot#295 · 1 reazione ·
-
bug minimizer
Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100
rocq-prover/bot#292 ·
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
rocq-prover/bot#289 · 7 commenti ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
rocq-prover/bot#288 · 3 commenti ·
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
rocq-prover/bot#287 · 2 commenti ·
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
rocq-prover/bot#286 · 1 commento ·
-
bug minimizer
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
rocq-prover/bot#284 ·
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 52/100
rocq-prover/bot#283 ·
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
rocq-prover/bot#280 · 2 commenti ·
-
Document coqbot bench.Apertaenhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100
rocq-prover/bot#279 ·
-
bug minimizer enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
rocq-prover/bot#277 · 1 commento ·
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
rocq-prover/bot#275 ·
-
bug minimizer
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
rocq-prover/bot#271 · 2 commenti ·
-
bug bug minimizer
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
rocq-prover/bot#267 · 1 commento ·
-
bug minimizer enhancement good first issue
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
rocq-prover/bot#266 ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
rocq-prover/bot#264 · 4 commenti ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
rocq-prover/bot#261 · 3 commenti ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
rocq-prover/bot#260 ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
rocq-prover/bot#259 · 2 commenti ·
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
rocq-prover/bot#250 · 1 commento ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
rocq-prover/bot#248 · 3 commenti ·
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 30/100
rocq-prover/bot#235 ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
rocq-prover/bot#234 · 4 commenti ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
rocq-prover/bot#231 ·
-
coqbot should store as much info as possible in the logs when something unexpected has happenedApertaenhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
rocq-prover/bot#227 ·
-
enhancement good first issue
Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100
rocq-prover/bot#225 · 2 commenti · 1 reazione ·
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
rocq-prover/bot#224 · 9 commenti ·
-
Replace result with Result.tApertaenhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
rocq-prover/bot#223 · 1 reazione ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
rocq-prover/bot#221 · 4 commenti ·
-
bug minimizer enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
rocq-prover/bot#220 ·
-
bug bug minimizer
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
rocq-prover/bot#219 · 4 commenti ·
-
bug minimizer enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
rocq-prover/bot#216 · 6 commenti ·
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
rocq-prover/bot#215 ·
-
Reminder if merge now failedApertaenhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
rocq-prover/bot#209 · 1 commento ·
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
rocq-prover/bot#203 · 5 commenti ·
-
bug bug minimizer
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
rocq-prover/bot#202 · 2 commenti ·
-
Deploy as an opam packageApertaenhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
rocq-prover/bot#201 · 3 commenti ·
Vengono mostrati i 100 più recenti
Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.