Lean Golf – Code golf but you're proving theorems in Lean Posted by kurinikku on Friday September 25, 2026 @10:47AM from the lean.golf dept. https://lean.golf ( no comments | on HN )
There are no comments yet.