清华大学
开源软件镜像站
HOME
EVENTS
BLOG
RSS
PODCAST
MIRRORS
Index of
/pypi/web/packages/fe/75/09f1cc5752d86db64c5250ab6f973badff045127b4a6ebbc438b3199a65f/
/pypi/web/packages/fe/75/09f1cc5752d86db64c5250ab6f973badff045127b4a6ebbc438b3199a65f/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
homotopy-type-theory-lecture-notes-cmu-15-819-2024.3.2.0.tar.gz
2.8 MiB
01 Mar 2024 20:43:52 +0000
cube
envelope
hashtag
github
weibo