Rrocq-prover

Products

Exploited and recent CVEs

• CVE-2026-72714 Medium 6.3 Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close 0.2%
• CVE-2026-72705 Medium 6.3 Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument 0.2%
• CVE-2026-72704 Medium 6.3 Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport 0.2%
• CVE-2026-72703 Medium 6.3 Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls 0.2%
• CVE-2020-37268 Medium 6.3 Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline 0.2%