lean.golf

The course

holeyour best
1There is someone in the pub who, if they drink, everyone drinks.—#— of 4
2
spiralmedium
.
—#— of 4
3No function on applied twice adds exactly one.—#— of 3
4
markovmedium
has infinitely many solutions.
—#— of 2
5
waerdenmedium
Any 2-coloring of contains a monochromatic 3-term progression.
—#— of 2
6.—#— of 2
7Every positive integer divides a number written with only 0s and 1s.—#— of 2
8
pisanohard
The Fibonacci sequence is periodic modulo every .
—#— of 2
9
levihard
only at and .
—#— of 2
10The Jacobian conjecture is false.—#— of 2
11
falsoimpossible
Break consistency.
—open