Coq/Rocq 证明助手 Guard Checker 逻辑错误与修复
Security Advisory
GHSA-21683
High
Rocq
Affected:
- Rocq 9.1
- Rocq master
Fixed in:
- 9.2.0
Referenced CVEs:
CVE-2026-72705 · 6.3
文章内图片已隐藏以节省流量 · 升级 Pro 后可见图片及离线存档
本文由本平台从 github.com 自动抓取，经 LLM 流水线清洗、双语翻译。版权归原作者。查看原文。