phanerozoic/Lean4-PhysLean download history

phanerozoic/Lean4-PhysLean is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 34 times (5 in the last 7 days), and 297 times in total. It ranks #248,325 among datasets by monthly downloads.

Lean4-PhysLean Structured dataset from PhysLean — Formalization of physics. Source Repository: https://github.com/HEPLean/PhysLean Commit: 01143d7c9702318879b3c86bd9eadcdc60a13cc3 Files: 552 License: apache-2.0 Schema Column Type Description

Open phanerozoic/Lean4-PhysLean on Hugging Face

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