phanerozoic/Metamath download history

phanerozoic/Metamath is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 32 times (5 in the last 7 days), and 297 times in total. It ranks #260,371 among datasets by monthly downloads.

Metamath A structured dataset of formally verified theorems and axioms from Metamath, one of the largest collections of rigorously verified mathematics in the world. Source Repository: https://github.com/metamath/set.mm Commit: 160dfc7e4ec5f201f5bae4ca5a5eeb67242902b5

Open phanerozoic/Metamath on Hugging Face

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