phanerozoic/Coq-MathComp download history
phanerozoic/Coq-MathComp is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 27 times (3 in the last 7 days), and 295 times in total. It ranks #297,781 among datasets by monthly downloads.
Coq-MathComp Structured dataset from the Mathematical Components library (MathComp) for Coq. Source Repository: https://github.com/math-comp/math-comp Commit: 91d97df9cf3204b4dab84f4e24bc633e84b6473d Files: 139 License: other Schema Column Type De