phanerozoic/Lean4-Stdlib download history

phanerozoic/Lean4-Stdlib is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 49 times (18 in the last 7 days), and 278 times in total. It ranks #188,270 among datasets by monthly downloads.

Lean4-Stdlib Structured dataset of definitions and theorems from the Lean 4 standard library (Init + Std). Source Repository: https://github.com/leanprover/lean4 Commit: d265d1ca745e7741a7e7f7366c22ce9c9dda57b6 Files: 1071 License: apache-2.0 Schema

Open phanerozoic/Lean4-Stdlib on Hugging Face

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