ZifyBool overriding zify_post_hook is a bad idea

Valutazione

Direzione di ricerca

Descrizione

Preparare l'ambiente

Come iniziare

1. Leggi tutta la issue e poi la guida ai contributi del progetto.
2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
3. Fai un fork del repository e lavora su un branch.
4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di rocq-prover/stdlib

• incl_dec and NoDup_dec should be Defined and not Qed

  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à 1/5 1-3 ore Idoneità per principianti 65/100

  rocq-prover/stdlib#25 · Aperta il 21/4/2021

• Reals: escape-window separation engine for the constructive Cauchy reals (abstract irrationality criterion)

  Forse già presa Una pull request collegata a questa issue è aperta o già 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à 5/5 Più di una settimana Idoneità per principianti 35/100

  rocq-prover/stdlib#312 · Aperta il 6/10/2026

• 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

• `QArith`: Add more rounding modes to complement `Qfloor` and `Qceiling`

  Forse già presa @RyanGlScott l’ha presa 88 giorni fa. 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 52/100

  rocq-prover/stdlib#283 · 2 commenti · Aperta il 3/7/2026

• Inconsistent OPAM packaging of rocq-stdlib

  Forse già presa Una pull request collegata a questa issue è aperta o già 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 42/100

  rocq-prover/stdlib#256 · 4 commenti · 3 reazioni · Aperta il 2/4/2026

Tutte le issue di rocq-prover/stdlib

Issue simili

• `check_java_version()` fails when Java path contains spaces (Windows / Git Bash, `C:\Program Files`)

  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

  ortus-boxlang/boxlang-quick-installer#69 · Aperta il 9/10/2026

• Discriminator mapping keys are listed in a random order

  Forse già presa @reuvenharrison l’ha presa oggi. 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 78/100

  oasdiff/oasdiff#1301 · Aperta il 9/10/2026

  I maintainer di solito rispondono entro 1 giorno

• [Docs][pi] Missing context in promptGuidelines (tool name absent, redundant param text)

  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
  billion-context-pi

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

  ranxianglei/billion-context#2521 · 3 commenti · Aperta il 9/10/2026

  I maintainer di solito rispondono entro 1 giorno

• fix(builder): LinearBuilder 把 event 当终端节点——event 之后的节点永不串接，`linear().event().end()` 构建期报「end 不可达」并把注意力引向错误节点

  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 78/100

  jeffkit/plaita#108 · Aperta il 9/10/2026

• jcode-sdk: launch_instance failure paths don't stop an already-spawned daemon

  Forse già presa @takumi3488 l’ha presa oggi. 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

  1jehuang/jcode#1775 · Aperta il 9/10/2026

  I maintainer di solito rispondono entro 2 giorni

Altre issue su DevTools