phanerozoic/Agda-HoTT download history

phanerozoic/Agda-HoTT is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 46 times (25 in the last 7 days), and 251 times in total. It ranks #197,310 among datasets by monthly downloads.

Agda-HoTT Structured dataset from HoTT-Agda — Homotopy Type Theory. Source Repository: https://github.com/HoTT/HoTT-Agda Commit: 1037d82edcf29b620677a311dcfd4fc2ade2faa6 Files: 420 License: mit Schema Column Type Description statement string

Open phanerozoic/Agda-HoTT on Hugging Face

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