Lean Golf – Code golf but you're proving theorems in Leanlean.golf3 points·kurinikku··0 commentsOpen articleSaveView on HN