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

(lean.golf) by kurinikku | Aug 21, 2026 | 0 comments on HN