Datasetpublic

adamtopaz/mathlib_const_deps

Mathlib Const Deps This dataset was generated with lean_scout from the GitHub repository adamtopaz/mathlib_const_deps at commit ded17d387875019ca8ee4eca1307a07e814fe565. Source Source repository: adamtopaz/mathlib_const_deps Source commit: ded17d387875019ca8ee4eca1307a07e814fe565 Hugging Face dataset repo: adamtopaz/mathlib_const_deps Dataset URL: https://huggingface.co/datasets/adamtopaz/mathlib_const_deps Generated at (UTC): 2026-03-27T20:57:40.590929Z Mathlib… See the full description on the dataset page: https://huggingface.co/datasets/adamtopaz/mathlib_const_deps.

sourceHugging Faceapache-2.0updated 7mo agoView on Hugging Face

0likes168downloads

settings

This repository belongs to adamtopaz on Hugging Face.

Team Ai never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

namemathlib_const_deps

visibilitypublic

licenceapache-2.0

gatedno

owneradamtopaz

Account settings