rocq-cve-poc-22287

CVE-2026-72714 — Rocq Universe Checking State Desynchronised After Module Close Proving0 = 1 axiom-free via module-scoped universe checking flag desynchronization. Field| Value ---|--- Bug report| rocq-prover/rocq22287 Fix| None issue open as of 2026-08-16 Affected| Rocq ≤ 9.2.0 / Coq 8.x all...