Lean Golf – Code golf but you're proving theorems in Lean #1 Post by kurinikku » Fri, Aug 21, 2026, 3:03 AM UTC Lean Golf – Code golf but you're proving theorems in Leanlean.golf