phanerozoic/Lean4-Aesop download history
phanerozoic/Lean4-Aesop is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 32 times (6 in the last 7 days), and 275 times in total. It ranks #260,371 among datasets by monthly downloads.
Lean4-Aesop Structured dataset from Aesop — White-box proof search automation. Source Repository: https://github.com/leanprover-community/aesop Commit: fafca80479ff95e041d84373dda7122adf1295f2 Files: 250 License: apache-2.0 Schema Column Type Desc