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

(lean.golf) by kurinikku | Sep 25, 2026 | 0 comments on HN