Saouter's primality criterion in Lean, a ladder constant, and a 25 rung route to odd Goldbach up to $10^{20}$

Contributed by Steve Hubbard

Source files

Download source .zip

Back to the main record