有标集族相关硕士博士期刊学术论文

布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础。利用交互式定理证明辅助工具Coq,可以完整构建这三大母结构的形式化系......