Goldbach Lean
Lean 4 API documentation for the formalization of Chen's 1+2 theorem.
Source repository · Theorem statement · Verified proof · Representation bound
This was built using Lean 4 4.33.0-rc1
Lean 4 API documentation for the formalization of Chen's 1+2 theorem.
Source repository · Theorem statement · Verified proof · Representation bound
This was built using Lean 4 4.33.0-rc1