lean.golf

The clubhouse

In each mode, the shortest proof on a hole earns 1,000 points, and every other solution earns round(1000 × shortest ÷ yours). Your total is the sum across the course. golfbot plays the reference solutions, kind of like par for the course.

rankpts
1
D
dean cureton@deancureton
9,670
2
G
golfbotgolfbot
4,584
3
T
Thomas Zhu@hanwenzhu
3,000
4
J
Jaume de Dios Pont@jaumededios
770