metamath Wrapped

metamath's last 12 months on the Hugging Face Hub. See all models by metamath.

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