endrazine/lean-cve-poc

endrazine/lean-cve-poc: open-source project for self-hosters

Proving 0 = 1 axiom-free via nested inductive projection validation bypass. | Field | Value | |-|-| | Bug report | https://github.com/leanprov...

Continue Reading