leanprover-community/mathlib4
leanprover-community/mathlib4 has 1,585,945 source lines of code out of 2,448,069 total lines across 9,291 files, counted from the master ref at commit a53bd51510b6 by the OctoCounts tokei engine on 2026-10-13. The report is cached by commit, tokei version, and analysis options, so recounting the same revision returns exactly these numbers.
As of 2026-10-13 (commit a53bd51510b6), leanprover-community/mathlib4 contains 2,448,069 total lines: 1,585,945 code, 431,211 comments, 430,913 blank, across 9,291 files in 10 languages (top: Lean 99.4%). Custom configuration (tests excluded, docs excluded, generated excluded). Counted with tokei via OctoCounts.
OctoCounts produced this report by resolving leanprover-community/mathlib4 to commit a53bd51510b6, downloading the repository source archive, and counting every source file with tokei, the open-source line counter written in Rust. The table below breaks the count down by programming language into files, total lines, code lines, comment lines, and blank lines, so the figures can be compared across languages and projects. Results are cached by commit, tokei version, and analysis options, so counting the same revision again reproduces exactly these numbers.
Repository size insights
This is a very large codebase by counted code lines. Code represents 64.8% of all lines, comments represent 17.6%, and the repository averages 171 code lines per file. Lean accounts for 99.4% of counted code.
| Language | Files | Lines | Code | Comments | Blanks |
|---|---|---|---|---|---|
| Lean | 9214 | 2430731 | 1576866 | 424783 | 429082 |
| Python | 25 | 8576 | 6771 | 512 | 1293 |
| JSON | 3 | 1189 | 1189 | 0 | 0 |
| Shell | 9 | 748 | 509 | 138 | 101 |
| TeX | 2 | 379 | 321 | 0 | 58 |
| YAML | 1 | 239 | 231 | 7 | 1 |
| TOML | 2 | 62 | 38 | 20 | 4 |
| BASH | 3 | 30 | 20 | 3 | 7 |
| Markdown | 30 | 1582 | 0 | 1217 | 365 |
| Plain Text | 2 | 4533 | 0 | 4531 | 2 |
Top language (Lean 99.4%). Generated at .
Reproduce this report
Report FAQ
How many lines of code does leanprover-community/mathlib4 have?
leanprover-community/mathlib4 has 2,448,069 total lines, including 1,585,945 code lines, 431,211 comment lines, and 430,913 blank lines.
How was the leanprover-community/mathlib4 line count measured?
OctoCounts resolved the public GitHub repository to commit a53bd51510b6, downloaded the source archive, counted it with tokei, and cached the report by commit, tokei version, and analysis options.
What commit was counted for leanprover-community/mathlib4?
This OctoCounts report was generated from master at commit a53bd51510b6 on 2026-10-13T08:43:45.189542602+00:00.
Similar repository reports
Other public repositories with an OctoCounts report, ranked by top language and code size similarity:
- anthropics/fermats-last-theorem — Lean, 12,213,865 code lines
- openai/math — Lean, 22,600,394 code lines
- opencv/opencv — C++, 1,586,418 code lines
- v8/v8 — C++, 1,582,019 code lines
- yuezih/Movie101 — JSON, 1,581,172 code lines
- FFmpeg/FFmpeg — C, 1,579,829 code lines
Play the growth animation for leanprover-community/mathlib4 on this page — 1,585,945 code lines across 10 languages, counted by tokei.