Rocq-Prover Rocq
3 CVEs affecting Rocq-Prover Rocq. Latest disclosed: 2026-08-24. Critical: 0, High: 0.
| CVE | Severity | Score | Published | Summary |
|---|---|---|---|---|
CVE-2026-72714 | Medium | 6.3 | 2026-08-24 | Rocq Prover does not restore the universe graph's copy of the universe checking flag when a module that locally disabled the check is closed. Local Unset Unive… |
CVE-2026-72705 | Medium | 6.3 | 2026-08-24 | The guard checker in Rocq Prover does not follow recursive calls made through a fixpoint's own arguments. A fixpoint may pass itself as a higher-order argument… |
CVE-2026-72703 | Medium | 6.3 | 2026-08-24 | The guard checker in Rocq Prover treats a parameter of a nested mutual fixpoint as uniform without examining calls between the different bodies of that fixpoin… |