rocq-prover

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

• `Silent` flag cannot be switched off

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage

  Difficoltà 3/5 Mezza giornata Idoneità per principianti 62/100

  rocq-prover/rocq#22557 · Aperta il 4/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Please add "rocq-equations.1.3.2+9.3" to the `released` opam archive.

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 68/100

  rocq-prover/equations#745 · Aperta il 4/10/2026

• Primitive operation with name alias not working with cbn

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage

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

  rocq-prover/rocq#22550 · Aperta il 1/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Print Assumptions lists an implemented interface as so many axioms

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage part: modules

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

  rocq-prover/rocq#22533 · 1 commento · Aperta il 25/9/2026

  I maintainer di solito rispondono entro 1 giorno

• dangling pointer to "who did what"

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/rocq-prover.org#273 · Aperta il 25/9/2026

• [BUG] Stack overflow kills the language server instead of reporting an error (macOS)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

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

  rocq-prover/vsrocq#1331 · 3 commenti · Aperta il 25/9/2026

  I maintainer di solito rispondono entro 1 giorno

• [BUG] Messages panel not clearing out previous Info messages on edit

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug

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

  rocq-prover/vsrocq#1328 · 1 reazione · Aperta il 24/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Difference to fixpoints in catch-all/default branches leading to guard checker problems

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/equations#742 · Aperta il 18/9/2026

• Anomaly during inductive subtyping check

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: anomaly part: inductives part: modules

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

  rocq-prover/rocq#22498 · 1 commento · Aperta il 17/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Specify that Intel Macs require installing from source

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100

  rocq-prover/platform#537 · 1 commento · 1 reazione · Aperta il 16/9/2026

• Assertion failure in mod_subst

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: anomaly part: modules

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

  rocq-prover/rocq#22482 · 1 commento · Aperta il 16/9/2026

  I maintainer di solito rispondono entro 1 giorno

• [FEAT] Extend `textDocument/selectionRange` to be AST aware

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement

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

  rocq-prover/vsrocq#1323 · 1 commento · Aperta il 16/9/2026

  I maintainer di solito rispondono entro 1 giorno

• documentation of install buildtools for Fedora

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 92/100

  rocq-prover/platform#536 · 1 commento · 1 reazione · Aperta il 14/9/2026

• RocqIDE external command defaults still use compatibility Coq binaries

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/rocq#22473 · 2 commenti · Aperta il 12/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Primitive operations in the VM do not work well with module aliasing

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  part: modules part: VM

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

  rocq-prover/rocq#22470 · Aperta il 10/9/2026

  I maintainer di solito rispondono entro 1 giorno

• timelog2html incorrectly considers preceding character as part of a command

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug

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

  rocq-prover/rocq#22467 · Aperta il 10/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Register Inline is not saved to the .vo, so it has no effect in files that Require the defining one

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/rocq#22460 · Aperta il 9/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Clarify extraction correctness for strict let-bindings and exception-raising external functions

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/rocq#22450 · 3 commenti · 1 reazione · Aperta il 9/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Anomaly "Missing VM index" when vm_compute reaches a constant of a module sealed with "with Definition"

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/rocq#22449 · Aperta il 8/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Anomaly "Uncaught exception Failure("List.chop")." when parsing notation.

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage

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

  rocq-prover/rocq#22448 · Aperta il 8/9/2026

  I maintainer di solito rispondono entro 1 giorno

• Add an option for per-file lia caching

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: performance kind: wish part: micromega

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

  rocq-prover/rocq#22440 · Aperta il 4/9/2026

  I maintainer di solito rispondono entro 1 giorno

• What would it take for a Vernacstate.t to be transportable between directories or machines?

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/rocq#22432 · 2 commenti · Aperta il 1/9/2026

  I maintainer di solito rispondono entro 1 giorno

• -async-proofs on: coqc exits 0 and writes a consumable .vo for an ill-typed file

  Forse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug part: STM

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

  rocq-prover/rocq#22422 · Aperta il 29/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Large inclusion of modules is slow due to Libobject expansion

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: performance part: libobject part: modules

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

  rocq-prover/rocq#22420 · Aperta il 29/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Anomaly Bad occurrence of recursive call. (with `fix` tactic)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: anomaly part: fixpoints

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

  rocq-prover/rocq#22417 · Aperta il 28/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bug in `=` mode, or the mode is less useful than expected

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage

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

  rocq-prover/rocq#22414 · 17 commenti · Aperta il 28/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Explicit argument is being shadowed by implicit argument

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/equations#741 · Aperta il 27/8/2026

• RocqIDE executes attacker code on file open by applying an ancestor-directory _RocqProject that injects -l into the coqidetop argv

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/rocq#22406 · Aperta il 26/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Unvalidated bytecode operand counts in rocq_tcode_of_code cause an attacker-length heap buffer overflow when loading a crafted .vo

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: kernel segfault/exploit

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

  rocq-prover/rocq#22405 · 4 commenti · Aperta il 26/8/2026

  I maintainer di solito rispondono entro 1 giorno

• About the kernel's data structures for renamings and substitutions

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: wish needs: triage

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

  rocq-prover/rocq#22403 · 2 commenti · Aperta il 25/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Unexpected Behavior from `rewrite_strat` when moving terms in and out of binders

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage

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

  rocq-prover/rocq#22397 · Aperta il 21/8/2026

  I maintainer di solito rispondono entro 1 giorno

• `-async-proofs on` silently swallows universe-constraint errors (exit 0, `.vo` silently missing the failed definition)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage

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

  rocq-prover/rocq#22367 · Aperta il 19/8/2026

  I maintainer di solito rispondono entro 1 giorno

• `Unset Guard Checking` leaks through functor application with `Parameter Inline`: `False` accepted with `Print Assumptions` reporting "Closed under the global context"

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug

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

  rocq-prover/rocq#22366 · 1 commento · Aperta il 19/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Nested Eliminators

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: wish needs: triage

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

  rocq-prover/rocq#22344 · 1 reazione · Aperta il 12/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Cannot scroll on sidebar

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/rocq-prover.org#268 · Aperta il 12/8/2026

• When universes are printed, cannot accept the print of an inductive

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage part: printer

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

  rocq-prover/rocq#22343 · Aperta il 11/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Module ascription rejected when a component's type names a sibling module directly instead of through its alias

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: question part: modules

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

  rocq-prover/rocq#22333 · 1 commento · Aperta il 6/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Anomaly unknown level with ltac2 notation

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug part: ltac2

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

  rocq-prover/rocq#22330 · Aperta il 3/8/2026

  I maintainer di solito rispondono entro 1 giorno

• Bidirectional hints change program obligation order in unexpected ways

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage

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

  rocq-prover/rocq#22328 · Aperta il 31/7/2026

  I maintainer di solito rispondono entro 1 giorno

• (auto)rewrite* fails where (auto)rewrite succeeds

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage

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

  rocq-prover/rocq#22323 · 4 commenti · Aperta il 29/7/2026

  I maintainer di solito rispondono entro 1 giorno

• [release] for Rocq 9.3.0

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/vsrocq#1291 · 2 commenti · Aperta il 28/7/2026

  I maintainer di solito rispondono entro 1 giorno

• `vsrocq-language-server` installation fails on OCaml 5.5

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/vsrocq#1287 · 2 commenti · Aperta il 24/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Compilation of critical bugs in stable releases of Coq: add a table

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: wish needs: triage

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

  rocq-prover/rocq#22301 · 1 commento · Aperta il 23/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Remove "vsrocq.proof.delegation"

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/vsrocq#1286 · 1 commento · Aperta il 21/7/2026

  I maintainer di solito rispondono entro 1 giorno

• The link in repo description is invalid

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/equations#731 · Aperta il 21/7/2026

• Universe checking state gets confused when locally changed in module

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: inconsistency part: modules part: universes

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

  rocq-prover/rocq#22287 · Aperta il 16/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Chaining module `<+` operator shows quadratic time increase

  Forse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: performance part: modules

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

  rocq-prover/rocq#22279 · 3 commenti · Aperta il 16/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Maintaining NaryFunctions

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/stdlib#293 · Aperta il 15/7/2026

• Rewrite fails to rewrite a list of functions while setoid_rewrite succeeds

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  kind: bug needs: triage

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

  rocq-prover/rocq#22269 · 2 commenti · Aperta il 12/7/2026

  I maintainer di solito rispondono entro 1 giorno

• Typeclass resolution regression from #22037: goals with no applicable hint fail eagerly, losing solutions found via later unifications (breaks fiat-crypto)

  Forse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

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

  rocq-prover/rocq#22227 · 2 commenti · Aperta il 7/7/2026

  I maintainer di solito rispondono entro 1 giorno