https://lean.golf https://lean.golf/about https://lean.golf/leaderboard https://lean.golf/p/drinker https://lean.golf/p/spiral https://lean.golf/p/no-half-succ https://lean.golf/p/markov https://lean.golf/p/waerden https://lean.golf/p/basel-bound https://lean.golf/p/binary-multiple https://lean.golf/p/pisano https://lean.golf/p/levi https://lean.golf/p/jacobian https://lean.golf/p/falso