Lean Golf – Code golf but you're proving theorems in LeanBy kurinikku · 2026-08-21 · 1 points · 0 commentshttps://lean.golfBy kurinikku · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews