phanerozoic/Coq-Stdlib download history
phanerozoic/Coq-Stdlib is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 33 times (6 in the last 7 days), and 304 times in total. It ranks #254,112 among datasets by monthly downloads.
Coq-Stdlib Structured dataset of definitions and theorems from the Coq standard library. Source Repository: https://github.com/rocq-prover/stdlib Commit: f76a666b0b2c28c671d4fdf6dd25bcab865b9c36 Files: 583 License: lgpl-2.1 Schema Column Type Desc