phanerozoic/Lean4-EquationalTheories download history
phanerozoic/Lean4-EquationalTheories is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 311 times (6 in the last 7 days), and 733 times in total. It ranks #47,737 among datasets by monthly downloads.
Lean4-EquationalTheories Structured dataset from equational_theories — Terence Tao's magma equations project. Source Repository: https://github.com/teorth/equational_theories Commit: 3f3999d958c5e289c7f5a063479af9dac122a7a8 Files: 1301 License: apache-2.0