Hacker News 프론트 페이지6일 전Fermat's Last Theorem in Lean 4페르마의 마지막 정리가 Lean 4에서 증명되었습니다.aaraujo002 작성141점댓글 31개토론→ GitHub 저장소: anthropics/fermats-last-theorem
