Project LANA, 이해하기 어려운 Mochizuki의 IUT를 Lean으로 형식화 시도Project Lana attempts to formalize hard to understand Mochizuki's IUT in Lean▲ 3 · anabelian.org · 98일 전 · 1 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…