mathlib-initiative on Hugging Face: downloads and rankings

mathlib-initiative has 3 datasets, downloaded 3,722 times in the last 30 days. mathlib-initiative Wrapped: the last 12 months.

Datasets by downloads in the last 30 days

1. mathlib-initiative/mathlib-tactics 1.9K downloads
2. mathlib-initiative/mathlib-const-dep 949 downloads
3. mathlib-initiative/mathlib-types 905 downloads

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