CaptainSude / Liouville-Goldbach

git clone https://github.com/CaptainSude/Liouville-Goldbach.git

Lean verified proof that every positive even integer greater than 2 is the sum of two positive integers with Liouville value -1.