Coq/Rocq Guard Checker Soundness Bug Leading to Non-termination and Proof Errors
Security Advisory
GHSA-21683
High
Rocq
Affected:
- Rocq 9.1
- Rocq master
Fixed in:
- 9.2.0
Referenced CVEs:
CVE-2026-72705 · 6.3
文章内图片已隐藏以节省流量 · Upgrade to Pro to view images & offline archive
This content was auto-fetched from github.com, cleaned by our LLM pipeline, and translated to English. View original.