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

News

9月6日 曹钦翔报告

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

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

相关附件