phanerozoic/Lean4-FLT download history

phanerozoic/Lean4-FLT is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 28 times (10 in the last 7 days), and 236 times in total. It ranks #289,218 among datasets by monthly downloads.

Lean4-FLT Structured dataset from FLT — Formalization of Fermat's Last Theorem. Source Repository: https://github.com/ImperialCollegeLondon/FLT Commit: 6cffefeb368ca4cfabc907f86f96783a49ae4033 Files: 179 License: apache-2.0 Schema Column Type Desc

Open phanerozoic/Lean4-FLT on Hugging Face

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