Example of proving "0 = 1" using a vulnerability in the Lean 4 kernel. - View it on GitHub