Lean Golf – Code golf but you're proving theorems in Lean Posted by kurinikku on Thursday August 20, 2026 @11:03PM from the lean.golf dept. https://lean.golf ( no comments | on HN )
There are no comments yet.