Goldbach: Chen's theorem in Lean #
The default library entry point exports Goldbach.chen_theorem and
Goldbach.representation_lower_bound. Version one concerns Chen's 1+2 theorem.
The default library entry point exports Goldbach.chen_theorem and
Goldbach.representation_lower_bound. Version one concerns Chen's 1+2 theorem.