phanerozoic/Lean3-Mathlib download history
phanerozoic/Lean3-Mathlib is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 31 times (4 in the last 7 days), and 203 times in total. It ranks #266,938 among datasets by monthly downloads.
Lean3-Mathlib Declarations from mathlib3, the Lean 3 mathematical library (archived). Source Repository: https://github.com/leanprover-community/mathlib Commit: 65a1391a0106c9204fe45bc73a039f056558cb83 Files: 3220 License: apache-2.0 Schema Column