pkuAI4M/mathlib_formal_v4.24.0 download history

pkuAI4M/mathlib_formal_v4.24.0 is a model model by pkuAI4M. In the last 30 days it was downloaded 0 times (0 in the last 7 days).

It ranks #1,524,614 on the Hub by monthly downloads.

It has 1 likes.

Open pkuAI4M/mathlib_formal_v4.24.0 on Hugging Face

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