phanerozoic/Coq-Changelog download history
phanerozoic/Coq-Changelog is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 36 times (10 in the last 7 days), and 720 times in total. It ranks #237,432 among datasets by monthly downloads.
Coq-Changelog Coq/Rocq changelog entries from doc/sphinx/changes.rst, enriched with pull-request metadata. Source Repository: https://github.com/rocq-prover/rocq Commit: cb44bc1ea0f49fbb9903b355e682794d75fa6ac4 Entries: 1,210 Versions: 31 Schema C