phanerozoic/Coq-CompCert download history
phanerozoic/Coq-CompCert is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 39 times (9 in the last 7 days), and 308 times in total. It ranks #223,370 among datasets by monthly downloads.
Coq-CompCert A structured dataset of formalizations from CompCert, the verified C compiler. Source Repository: https://github.com/AbsInt/CompCert Commit: 0ef26dad76446c803da02d7368eb4f9d074c1401 Files: 222 License: other Schema Column Type Descrip