UnluckyOrangutan/mathlib-traced-tactics download history

UnluckyOrangutan/mathlib-traced-tactics is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 21 times (3 in the last 7 days), and 280 times in total. It ranks #361,848 among datasets by monthly downloads.

Open UnluckyOrangutan/mathlib-traced-tactics on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.