pkuAI4M/informal_mathlib_watch download history

pkuAI4M/informal_mathlib_watch is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 9 times (4 in the last 7 days), and 408 times in total. It ranks #601,102 among datasets by monthly downloads.

Open pkuAI4M/informal_mathlib_watch on Hugging Face

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