Lean on Goldbach's Conjecture

EasyChair Preprint 10824, version history

Version	Date	Pages	Version notes
1	September 2, 2023	5
2	September 3, 2023	5	We changed the abstract and keywords.
3	September 5, 2023	5	We fixed the Lean code since the previous code had returned a proposition statement instead of a proof.
4	September 6, 2023	5	I improved the Lean code.

Keyphrases: Euler's totient function, Goldbach's conjecture, prime numbers, sum-of-divisors function

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:10824,
  author    = {Frank Vega},
  title     = {Lean on Goldbach's Conjecture},
  howpublished = {EasyChair Preprint 10824},
  year      = {EasyChair, 2023}}