homotopy-type-theory-lecture-notes-cmu-yiwu-bayijiu
v2023.212.0
Published
Homotopy Type Theory Lecture Notes (CMU 15-819)
Downloads
3
Readme
Homotopy Type Theory Lecture Notes (CMU 15-819)
下载
Docker
docker pull apachecn0/homotopy-type-theory-lecture-notes-cmu-15-819
docker run -tid -p <port>:80 apachecn0/homotopy-type-theory-lecture-notes-cmu-15-819
# 访问 http://localhost:{port} 查看文档
PYPI
pip install homotopy-type-theory-lecture-notes-cmu-15-819
homotopy-type-theory-lecture-notes-cmu-15-819 <port>
# 访问 http://localhost:{port} 查看文档
NPM
npm install -g homotopy-type-theory-lecture-notes-cmu-yiwu-bayijiu
homotopy-type-theory-lecture-notes-cmu-yiwu-bayijiu <port>
# 访问 http://localhost:{port} 查看文档