← 피드로
▲ 9 points · 💬 3 comments · Hacker News
출처: github.com · https://github.com/anthropics/fermats-last-theorem
Fermat’s Last Theorem in Lean 4
작성자
카테고리:
작성자
카테고리:
▲ 9 points · 💬 3 comments · Hacker News