homotopy-type-theory-lecture-notes-cmu-15-819
This package was deleted from PyPI around 2024-07-16. Installing fails with:
$ pip3 install homotopy-type-theory-lecture-notes-cmu-15-819
ERROR: Could not find a version that satisfies the requirement homotopy-type-theory-lecture-notes-cmu-15-819 (from versions: none)
ERROR: No matching distribution found for homotopy-type-theory-lecture-notes-cmu-15-819
Install through StableBuild
You can install this package from StableBuild's PyPI snapshots from before the version was deleted:
pip3 install \
-i https://YOUR_API_KEY.pypimirror.stablebuild.com/2024-07-15/ \
homotopy-type-theory-lecture-notes-cmu-15-819
Sign up for StableBuild to get an API key (it's free and takes <60 seconds!)
Or, download files manually
Choose a version to see all deleted wheels and files.
We only show versions that have been deleted on PyPI.
