complexity of mathlib

Stream: general

[Ryan McCorvie]

Are there statistics about the complexity of mathlib? Like the number of theorems, the length of the longest theorem, the length of the longest path in the proof dependency graph?

[Bryan Gin-ge Chen]

The number of theorems is at the top of our stats page: https://leanprover-community.github.io/mathlib_stats.html

The other stats you mentioned aren't listed there but should be calculable using leancrawler https://github.com/leanprover-community/leancrawler

[Bolton Bailey]

Somewhat out of date, but this discussion was about the longest path in the dependency graph.

[Jim Fowler]

I'd be amused to hear other statistics about these graphs like "what's the most central result"