mathlib-initiative/mathlib-tactics download history

mathlib-initiative/mathlib-tactics is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,868 times (336 in the last 7 days), and 11,826 times in total. It ranks #11,910 among datasets by monthly downloads.

Mathlib Tactics This dataset contains tactic invocations with associated goal states from proofs in Mathlib, the mathematical library for the Lean 4 theorem prover, extracted with lean_scout. Extracted from the Mathlib commit with the following hash. d13f23b723b8a846827a245b89c10fc7d3

Open mathlib-initiative/mathlib-tactics on Hugging Face

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