Lean Golf – Lean으로 정리 증명을 하는 코드 골프Lean Golf – Code golf but you're proving theorems in Lean▲ 3 · lean.golf · 23일 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…