endrazine / lean-cve-poc
git clone https://github.com/endrazine/lean-cve-poc.git
CVE-2026-72844 : Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel.
+0
stars, 24h · #26,186
+~0
stars, 7 days · #34,235
+~0
stars, 30 days · #37,863
26
★ total
1
forks · 0 open issues
Star history (as recorded here)
LanguageLean
License—
Created2026-08-02 (2mo ago)
Last push2mo ago
OwnerUser