Goldbach Lean

Lean 4 API documentation for Chen's 1+2 theorem and the Li–Liu 1+1.9 theorem, with separate public interfaces.

Source repository · Theorem statement · Verified proof · Representation bound · Li–Liu 1+1.9 theorem · Strict 0.0004 prime-count bound