Lean Golf – Code golf but you're proving theorems in Lean | Dark Hacker News