GitHub - MatthewBhattacharya/mathlib-graph: A statistical atlas of the Lean 4 Mathlib proof dependency graph — 738K declarations, 387K edges, named theorem analysis

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
docs		docs
notebooks		notebooks
pipeline		pipeline
scripts		scripts
.gitignore		.gitignore
.python-version		.python-version
pyproject.toml		pyproject.toml

About

A statistical atlas of the Lean 4 Mathlib proof dependency graph — 738K declarations, 387K edges, named theorem analysis

matthewbhattacharya.github.io/mathlib-graph/

No releases published