lean.golf

sign in<br>classicterm

th]:border-b [&>th]:border-table-border [&>th]:py-3 [&>th]:text-xs [&>th]:font-normal [&>th]:text-cream-faint">holeyour besttd]:py-3.5">1drinkereasy<br>There is someone in the pub who, if they drink, everyone drinks.—#— of 3td]:py-3.5">2spiralmedium<br>F12​+F22​+⋯+Fn2​=Fn​Fn+1​.—#— of 3td]:py-3.5">3no_half_succmedium<br>No function on N applied twice adds exactly one.—#— of 3td]:py-3.5">4markovmedium<br>x2+y2+z2=3xyz has infinitely many solutions.—#— of 2td]:py-3.5">5waerdenmedium<br>Any 2-coloring of {1,…,9} contains a monochromatic 3-term progression.—#— of 2td]:py-3.5">6basel_boundhard<br>∑1/k22.—#— of 2td]:py-3.5">7binary_multiplehard<br>Every positive integer divides a number written with only 0s and 1s.—#— of 2td]:py-3.5">8pisanohard<br>The Fibonacci sequence is periodic modulo every m.—#— of 2td]:py-3.5">9levihard<br>3m=2n+1 only at (1,1) and (2,3).—#— of 2td]:py-3.5">10jacobianhard<br>The Jacobian conjecture is false.—#— of 2td]:py-3.5">11falsoimpossible<br>Break consistency.—open<br>on the tee

Sign in to save proofs and keep score.<br>sign in with GitHub

the clubhouse

td]:py-2.5">1Ddean cureton<br>9,084td]:py-2.5">2Ggolfbot<br>5,692td]:py-2.5">3TThomas Zhu<br>3,000

full standings →