iiis-lean/lean-math-formal-corpus download history

iiis-lean/lean-math-formal-corpus is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 267 times (25 in the last 7 days), and 1,121 times in total. It ranks #53,769 among datasets by monthly downloads.

Lean Math Formal Corpus This dataset is a unified, compile-validated collection of Lean mathematical problems/proofs aggregated from multiple public sources. Configs and Lean versions Different configs correspond to different Lean adaptation versions. Available configs: v4.27.

Open iiis-lean/lean-math-formal-corpus on Hugging Face

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