布尔巴基学派论文

基于Coq的Tychonoff乘积定理的机器证明
论文摘要布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用交互式定理证明工具Coq,可以完整构建这三大母结构的形式化系统.本文在初等集论形式化的基础上,给出点集拓扑学...