4 ms·
Here is a chart of Mathlib's growth: https://leanprover-community.github.io/mathlib_stats.html https://leanprover-community.github.io/mathlib_stats.html, and he
by zone411 4y ago
Here is a chart of Mathlib's growth: https://leanprover-community.github.io/mathlib_stats.html https://leanprover-community.github.io/mathlib_stats.html, and here is information about what parts of undegrad math are covered so far: https://leanprover-community.github.io/undergrad.html https://leanprover-community.github.io/undergrad.html.
- deadbeef57 4y agoNote that the sudden drop-off at the end of the graph that shows commits-per-month is because this is measuring commits-to-mathlib3. A lot of contributors are currently helping with the port-to-mathlib4 (aka the Lean 4 version of mathlib). Unfortunately there is not yet a fancy graph showing the growth of mathlib4.