Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
docs		docs
README.md		README.md
gitstats.py		gitstats.py
nolint_graph.sh		nolint_graph.sh
plot.gnu		plot.gnu

Repository files navigation

mathlib_stats

This repository hosts the code that generates the plots shown in the Mathlib statistics page.

About

Display gitstats output on the mathlib website

Custom properties

3 stars

7 watching

Report repository

Releases

Packages

Used by

Contributors

Languages