Homotopy Type Theory Lecture Notes (CMU 15-819)
Project description
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} 查看文档
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Close
Hashes for homotopy-type-theory-lecture-notes-cmu-15-819-2024.3.2.0.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0d37aa1410724afb86ea1a8745ada5d68d2d0bf5ee94a08642f84487bb54810d |
|
MD5 | e3b832d945feaa6b34bffed577b1c7f9 |
|
BLAKE2b-256 | fe7509f1cc5752d86db64c5250ab6f973badff045127b4a6ebbc438b3199a65f |
Close
Hashes for homotopy_type_theory_lecture_notes_cmu_15_819-2024.3.2.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | aadeef1b5261f98b209998a06e2cdefaf47a140f9b547815d527fb4fb4cba1c6 |
|
MD5 | de7f5b7fa3579add248d433ab857a0cb |
|
BLAKE2b-256 | 2f0b226b770b14597820f4fa31b11091205ceffd4e5c276ad9ceac57640e1fdf |