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