TypeTopology:拓扑概念和其他事物的逻辑表示。 此版本采用单价观点 源码

用阿格达写的构造性单价数学的各种新定理 此开发由Martin Escardo于2010年开始,并于2018年2月5日星期一转移到github。一些文件是由合作者创作的,名称添加在顶部。 如果您要捐款,请在捐款地点添加您的全名和日期。 Martin Escardo的机构网页上托管的。