echodict/homotopyTypeTheory download history

echodict/homotopyTypeTheory is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 129 times (64 in the last 7 days), and 400 times in total. It ranks #94,544 among datasets by monthly downloads.

This is a textbook on informal homotopy type theory. It is part of the Univalent foundations of mathematics project that took place at the Institute for Advanced Study in 2012/13. License This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.

Open echodict/homotopyTypeTheory on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.