Lean on Goldbach's Conjecture

EasyChair Preprint no. 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 no. 10824},

  year = {EasyChair, 2023}}