Lean Golf – Code golf but you're proving theorems in Lean | Hacker News - But Better

Lean Golf – Code golf but you're proving theorems in Lean lean.golf

Play proof golf in Lean 4. Solve theorem-proving challenges with the shortest valid proof, then compete on classic and term leaderboards.

3 points•kurinikku•5 days ago•0 comments•

#golf #lean #proving #theorems #code #lean golf #code golf #proving theorems

0 comments

No comments yet.

Related stories

Lobsters Interview with Susam
Lobsters · 86 points · about 1 year ago
Show HN: Critic – Review code with the agent that wrote itcritic.run
Hacker News · 8 points · 6 days ago
Ask HN: Should we still learn coding?
Hacker News · 14 points · 8 days ago
10 VS Code Extensions I Can't Code Without in 2026dev.to
DEV Community · 14 points · 11 days ago
Show HN: AI Changed How We Write Code. Why Hasn’t Code Review Changed?github.com
Hacker News · 3 points · 9 days ago
Show HN: I got Claude Code and Codex to argue about my codegithub.com
Hacker News · 1 points · 10 days ago