phanerozoic/Lean4-Batteries download history

phanerozoic/Lean4-Batteries is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 27 times (9 in the last 7 days), and 275 times in total. It ranks #297,781 among datasets by monthly downloads.

Lean4-Batteries Structured dataset from Lean 4 Batteries - the community standard library extensions. Source Repository: https://github.com/leanprover-community/batteries Commit: 41680f5d84023c7406c841d08ef83bf15a9782a6 Files: 187 License: apache-2.0 Schem

Open phanerozoic/Lean4-Batteries on Hugging Face

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