phanerozoic/Coq-Certicoq download history
phanerozoic/Coq-Certicoq is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 29 times (7 in the last 7 days), and 260 times in total. It ranks #281,348 among datasets by monthly downloads.
Coq-Certicoq Structured dataset from CertiCoq — Verified compiler from Gallina to C. Source Repository: https://github.com/CertiCoq/certicoq Commit: 803cd697c1aafb90a609fec18313482e484dc17a Files: 151 License: mit Schema Column Type Description