🚨 GitHub 监控消息提醒

🚨 发现关键词： #CVE-2026 #POC

📦 项目名称： lean-cve-poc
👤 项目作者： endrazine
🛠 开发语言： Lean
⭐ Star数量： 22 | 🍴 Fork数量： 1
📅 更新时间： 2026-08-22 01:52:37

📝 项目描述：
CVE-2026-72844 : Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel.

🔗 点击访问项目地址
GitHub
GitHub - endrazine/lean-cve-poc: Example of proving
GitHub - endrazine/lean-cve-poc: Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel.
Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel. - endrazine/lean-cve-poc
 
 
Back to Top