phanerozoic/Coq-CategoryTheory download history
phanerozoic/Coq-CategoryTheory is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 30 times (7 in the last 7 days), and 296 times in total. It ranks #273,959 among datasets by monthly downloads.
Coq-CategoryTheory Structured dataset from category-theory — Axiom-free category theory formalization. Source Repository: https://github.com/jwiegley/category-theory Commit: e4f9c6c4db80ed1c93ac52a27233ae45b022fbcb Files: 273 License: bsd-3-clause Schema