P2SAMAPA/p2-etf-homotopy-type-theory-results download history

P2SAMAPA/p2-etf-homotopy-type-theory-results is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 432 times (20 in the last 7 days), and 1,047 times in total. It ranks #37,130 among datasets by monthly downloads.

Open P2SAMAPA/p2-etf-homotopy-type-theory-results on Hugging Face

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