Home» News» News» 9月6日 曹钦翔报告

9月6日 曹钦翔报告

发布日期:2022-09-06 作者:

9月6日 曹钦翔做了题为《Yet Another ZFC Set Theory Formalization in a Theorem Prover》的报告

相关附件