HoTT 英文原版下载

[weixin_39821051]

Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorit
相关下载链接：//download.csdn.net/download/weixin_44208210/10867816?utm_source=bbsseo