phanerozoic/Lean4-Mathlib download history
phanerozoic/Lean4-Mathlib is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 148 times (38 in the last 7 days), and 2,106 times in total. It ranks #85,120 among datasets by monthly downloads.
Lean4-Mathlib Structured dataset of mathematical formalizations from the Mathlib4 library for Lean 4. Source Repository: https://github.com/leanprover-community/mathlib4 Commit: b9f14353520df73472ae3825fb53f86559a01319 Files: 8170 License: apache-2.0 Schem