Zulip Chat Archive

Stream: general

Topic: complexity of mathlib

Ryan McCorvie (Jul 14 2022 at 21:48):

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 (Jul 14 2022 at 21:49):

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 (Jul 15 2022 at 19:53):

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

Jim Fowler (Jul 16 2022 at 00:59):

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

Last updated: Aug 03 2023 at 10:10 UTC