mathlib-initiative Wrapped

mathlib-initiative's last 12 months on the Hugging Face Hub. See all models by mathlib-initiative.

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