mathlib-initiative/mathlib-types download history

mathlib-initiative/mathlib-types is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 905 times (188 in the last 7 days), and 6,219 times in total. It ranks #20,831 among datasets by monthly downloads.

Mathlib Types This dataset contains information about types defined in Mathlib, the mathematical library for the Lean 4 theorem prover, extracted with lean_scout. Extracted from the Mathlib commit with the following hash. d13f23b723b8a846827a245b89c10fc7d3f11612 The dataset follows t

Open mathlib-initiative/mathlib-types on Hugging Face

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