phanerozoic/Agda-Categories download history
phanerozoic/Agda-Categories is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 40 times (15 in the last 7 days), and 312 times in total. It ranks #219,113 among datasets by monthly downloads.
Agda-Categories Structured dataset from agda-categories — Category theory. Source Repository: https://github.com/agda/agda-categories Commit: fbd1259c2dcf011ee1936fa8c24a1b10e6285673 Files: 521 License: mit Schema Column Type Description stat