tkitsers/Metamath-shepherd download history
tkitsers/Metamath-shepherd is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 18 times (1 in the last 7 days), and 274 times in total. It ranks #402,156 among datasets by monthly downloads.