phanerozoic/Coq-Bedrock download history
phanerozoic/Coq-Bedrock is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 51 times (6 in the last 7 days), and 291 times in total. It ranks #182,934 among datasets by monthly downloads.
Coq-Bedrock A work-in-progress language and compiler for verified low-level programming targeting RISC-V. Source Repository: https://github.com/mit-plv/bedrock2 Commit: c25e0e99557a6d71673d81c09b4fb24c048a2811 Files: 290 License: mit Schema Column