Appearance
Formalization and Theorem Proving Seminar
北京大学北京国际数学研究中心「AI for Mathematics：数学形式化和定理证明」本科生暑期科研培训班