Project home
·
Lean Doc
1
The public proof boundary
▶
1.1
Distribution and conditional assembly
1.2
Unconditional endpoints
1.3
Public results
2
Sources and verification
Dependency graph
goldbach-lean: Chen’s theorem
goldbach-lean contributors
1
The public proof boundary
1.1
Distribution and conditional assembly
1.2
Unconditional endpoints
1.3
Public results
2
Sources and verification