phanerozoic/Coq-UniMath download history
phanerozoic/Coq-UniMath is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 78 times (34 in the last 7 days), and 969 times in total. It ranks #135,785 among datasets by monthly downloads.
Coq-UniMath Structured dataset of formalizations from the UniMath library (Univalent Mathematics in Coq). Source Repository: https://github.com/UniMath/UniMath Commit: fa8f7d65ac96baddca8614f1c7bdfa73f043aef5 Files: 1617 License: other Schema Colu