phanerozoic/Lean4-SciLean download history
phanerozoic/Lean4-SciLean 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 249 times in total. It ranks #297,781 among datasets by monthly downloads.
Lean4-SciLean Structured dataset from SciLean — Scientific computing. Source Repository: https://github.com/lecopivo/SciLean Commit: 95f8119a2884e9c41f82136523bd5568ea7075c5 Files: 568 License: apache-2.0 Schema Column Type Description statem