# Rocq Prover vulnerabilities

Source: https://junglewise.ai/threats/technologies/rocq-prover  
Publisher: Junglewise Threat Intelligence, https://junglewise.ai/threats  
Updated: 9 November 2026, 03:07 UTC. Rebuilt every hour.  
Data: https://junglewise.ai/threats/technologies/rocq-prover.json  
License: CC BY 4.0 with a link back

Junglewise Threat Intelligence has tracked 5 vulnerabilities in Rocq Prover: 0 in the last 7 days and 5 in the last 90 days, 0 of them critical and 0 exploited in the wild. The most recent, CVE-2026-72714, was published on 24 August 2026. Nothing was published in the last eight weeks.

## Counts

- Last 7 days: 0
- Last 30 days: 0
- Last 90 days: 5
- All time: 5 (0 critical, 0 exploited in the wild)

## About Rocq Prover

Open-source interactive theorem prover and proof assistant based on dependent type theory.

## Latest Rocq Prover vulnerabilities

- [CVE-2026-72714: Rocq Prover kernel soundness bug in universe checking state desynchronization](https://junglewise.ai/threats/cve-2026-72714-rocq-prover-kernel-soundness-bug-in-universe-checking-state) (medium, CVSS 6.3, published 24 Aug 2026)
- [CVE-2026-72705: Rocq Prover guard checker higher-order fixpoint bypass](https://junglewise.ai/threats/cve-2026-72705-rocq-prover-guard-checker-higher-order-fixpoint-bypass) (medium, CVSS 6.3, published 24 Aug 2026)
- [CVE-2026-72704: Rocq Prover guard checker rectree corruption](https://junglewise.ai/threats/cve-2026-72704-rocq-prover-guard-checker-rectree-corruption) (medium, CVSS 6.3, published 24 Aug 2026)
- [CVE-2026-72703: Rocq Prover guard checker fixpoint parameter handling flaw](https://junglewise.ai/threats/cve-2026-72703-rocq-prover-guard-checker-fixpoint-parameter-handling-flaw) (medium, CVSS 6.3, published 24 Aug 2026)
- [CVE-2020-37268: Rocq Print Assumptions logic error in universe checking](https://junglewise.ai/threats/cve-2020-37268-rocq-print-assumptions-logic-error-in-universe-checking) (medium, CVSS 6.3, published 24 Aug 2026)

## Most severe Rocq Prover vulnerabilities

- [CVE-2026-72714: Rocq Prover kernel soundness bug in universe checking state desynchronization](https://junglewise.ai/threats/cve-2026-72714-rocq-prover-kernel-soundness-bug-in-universe-checking-state) (medium, CVSS 6.3, published 24 Aug 2026)
- [CVE-2026-72705: Rocq Prover guard checker higher-order fixpoint bypass](https://junglewise.ai/threats/cve-2026-72705-rocq-prover-guard-checker-higher-order-fixpoint-bypass) (medium, CVSS 6.3, published 24 Aug 2026)
- [CVE-2026-72704: Rocq Prover guard checker rectree corruption](https://junglewise.ai/threats/cve-2026-72704-rocq-prover-guard-checker-rectree-corruption) (medium, CVSS 6.3, published 24 Aug 2026)
- [CVE-2026-72703: Rocq Prover guard checker fixpoint parameter handling flaw](https://junglewise.ai/threats/cve-2026-72703-rocq-prover-guard-checker-fixpoint-parameter-handling-flaw) (medium, CVSS 6.3, published 24 Aug 2026)
- [CVE-2020-37268: Rocq Print Assumptions logic error in universe checking](https://junglewise.ai/threats/cve-2020-37268-rocq-print-assumptions-logic-error-in-universe-checking) (medium, CVSS 6.3, published 24 Aug 2026)

## Vulnerabilities per week

Nothing was published in the last eight weeks.

| Week of | Vulns | Critical | Exploited |
| --- | --- | --- | --- |
| 17 Aug 2026 | 0 | 0 | 0 |
| 24 Aug 2026 | 5 | 0 | 0 |
| 31 Aug 2026 | 0 | 0 | 0 |
| 7 Sep 2026 | 0 | 0 | 0 |
| 14 Sep 2026 | 0 | 0 | 0 |
| 21 Sep 2026 | 0 | 0 | 0 |
| 28 Sep 2026 | 0 | 0 | 0 |
| 5 Oct 2026 | 0 | 0 | 0 |
| 12 Oct 2026 | 0 | 0 | 0 |
| 19 Oct 2026 | 0 | 0 | 0 |
| 26 Oct 2026 | 0 | 0 | 0 |
| 2 Nov 2026 | 0 | 0 | 0 |
| 9 Nov 2026 | 0 | 0 | 0 |

## Sources

NVD, GitHub Security Advisories, OSV, the CISA Known Exploited Vulnerabilities catalog, FIRST EPSS and vendor advisories. Rebuilt every hour. Cite as: Junglewise Threat Intelligence, "Rocq Prover vulnerabilities", https://junglewise.ai/threats/technologies/rocq-prover, 9 November 2026.