🚨 发现关键词： #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 监控消息提醒
🚨 发现关键词： #CVE-2026 #POC
📦 项目名称： lean-cve-poc
👤 项目作者： endrazine
🛠 开发语言： Lean
⭐ Star数量： 22 | 🍴 Fork数量： 1
📅 更新时间： 2026-08-22 01:52:37
📝 项目描述：
🔗 点击访问项目地址
🚨 发现关键词： #CVE-2026 #POC
📦 项目名称： lean-cve-poc
👤 项目作者： endrazine
🛠 开发语言： Lean
⭐ Star数量： 22 | 🍴 Fork数量： 1
📅 更新时间： 2026-08-22 01:52:37
📝 项目描述：
🔗 点击访问项目地址
GitHub
GitHub - endrazine/lean-cve-poc: CVE-2026-72844 : Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel.
CVE-2026-72844 : Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel. - endrazine/lean-cve-poc
August 22, 2026 76 1
