introspector/meta-coq-utils download history
introspector/meta-coq-utils is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 3,477 times (143 in the last 7 days), and 33,143 times in total. It ranks #7,476 among datasets by monthly downloads.