phanerozoic/Coq-MetaCoq download history
phanerozoic/Coq-MetaCoq is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 35 times (6 in the last 7 days), and 1,132 times in total. It ranks #242,743 among datasets by monthly downloads.
Coq-MetaCoq Structured dataset of formalizations from MetaCoq (Coq meta-theory formalized in Coq). Source Repository: https://github.com/MetaCoq/metacoq Commit: 971b2cc5c8bdc011068f67fa272245d8e5b54209 Files: 597 License: mit Schema Column Type De