lean.golf

The course

holeyour best
1There is someone in the pub who, if they drink, everyone drinks.#— of 3
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