mathlib-initiative/mathlib-tactics: Dataset from Hugging Face: mathlib-initiative/mathlib-tactics License: apache-2.0. external Hugging Face metadata. Scan: pending.
Open interactive artifact page