anthropics/fermats-last-theorem has 12,213,865 source lines of code out of 13,837,849 total lines across 62,552 files, counted from the main ref at commit 6e837e753555 by the OctoCounts tokei engine on 2026-09-25. The report is cached by commit, tokei version, and analysis options, so recounting the same revision returns exactly these numbers.
anthropics/fermats-last-theorem: 12,213,865 code lines at commit 6e837e753555, counted with tokei-12.1 on 2026-09-25. Saved result f04fcdc2b58d96d88c9c14e9b596e44685c8e200ca390ae3d4974c7b5ef0b29b.
OctoCounts produced this report by resolving anthropics/fermats-last-theorem to commit 6e837e753555, 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.
This is a very large codebase by counted code lines. Code represents 88.3% of all lines, comments represent 0.0%, and the repository averages 195 code lines per file. Lean accounts for 97.3% of counted code.
| Language | Files | Lines | Code | Comments | Blanks |
|---|---|---|---|---|---|
| Lean | 60478 | 13499380 | 11878819 | 1801 | 1618760 |
| HTML | 1795 | 335537 | 332853 | 151 | 2533 |
| SVG | 1 | 983 | 864 | 119 | 0 |
| JavaScript | 263 | 875 | 837 | 32 | 6 |
| CSS | 1 | 152 | 144 | 1 | 7 |
| JSON | 3 | 131 | 131 | 0 | 0 |
| YAML | 1 | 121 | 110 | 3 | 8 |
| Shell | 2 | 139 | 101 | 36 | 2 |
| TOML | 1 | 8 | 6 | 0 | 2 |
| Markdown | 6 | 519 | 0 | 446 | 73 |
| Plain Text | 1 | 4 | 0 | 4 | 0 |
Top language (Lean 97.3%). Generated at .
anthropics/fermats-last-theorem has 13,837,849 total lines, including 12,213,865 code lines, 2,593 comment lines, and 1,621,391 blank lines.
OctoCounts resolved the public GitHub repository to commit 6e837e753555, downloaded the source archive, counted it with tokei, and cached the report by commit, tokei version, and analysis options.
This OctoCounts report was generated from main at commit 6e837e753555 on 2026-09-25T08:09:54.592846372Z.
Other public repositories with an OctoCounts report, ranked by top language and code size similarity:
Play the growth animation for anthropics/fermats-last-theorem on this page — 12,213,865 code lines across 11 languages, counted by tokei.