introspector/meta-coq-common download history
introspector/meta-coq-common is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 3,487 times (8 in the last 7 days), and 35,293 times in total. It ranks #7,457 among datasets by monthly downloads.