← 피드로
▲ 7 points · 💬 0 comments · Hacker News
출처: terrytao.wordpress.com · https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/
Palomar: A registry of Lean verified mathematics
작성자
카테고리: