mathlib-initiative/mathlib-const-dep download history
mathlib-initiative/mathlib-const-dep is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 949 times (139 in the last 7 days), and 5,416 times in total. It ranks #20,099 among datasets by monthly downloads.
Mathlib Constant Dependencies This dataset contains direct constant dependency information for declarations in Mathlib, the mathematical library for the Lean 4 theorem prover, extracted with lean_scout. Extracted from the Mathlib commit with the following hash. d13f23b723b8a846827a245