Open
QED
Docs
Leaderboard
Sign in
Back to problems
Goldbach's Conjecture
Every even integer greater than 2 is the sum of two primes.
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute