formalica/lean4oeis download history
formalica/lean4oeis is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 619 times (48 in the last 7 days), and 722 times in total. It ranks #27,901 among datasets by monthly downloads.
LOEIS Formalizing OEIS sequences in Lean 4 + Mathlib. See SPEC.md and OEIS.md for the design, and AGENTS.md for current project status. Setup 1. Clone this repository git clone https://huggingface.co/datasets/formalica/lean4oeis cd lean4oeis This gives y