Here is a chart of Mathlib's growth: https://leanprover-community.github.io/math... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		zone411 on Jan 20, 2023 \| parent \| context \| favorite \| on: Lean – Theorem Prover 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.

deadbeef57 on Jan 21, 2023 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact