Re:Lean – Theorem Prover
by zone411 on Friday January 20, 2023 @03:27PM
(#34459371)
Here is a chart of Mathlib's growth: 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.
[ Parent
| on HN ]
Re:Lean – Theorem Prover
by deadbeef57 on Friday January 20, 2023 @10:33PM
(#34463608)
Note 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.