homotopy-type-theory-lecture-notes-cmu-yiwu-bayijiu v2023.212.0

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} 查看文档