phanerozoic/Coq-WasmCert download history

phanerozoic/Coq-WasmCert is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 29 times (8 in the last 7 days), and 335 times in total. It ranks #281,348 among datasets by monthly downloads.

Coq-WasmCert Structured dataset from WasmCert-Coq — WebAssembly formalization. Source Repository: https://github.com/WasmCert/WasmCert-Coq Commit: 6acc7be59d1ac23881e4d153894616d3a41affcf Files: 46 License: mit Schema Column Type Description

Open phanerozoic/Coq-WasmCert on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.