# anthropics/fermats-last-theorem SLOC report

> As of 2026-09-05 (commit aa2d8b34692b), anthropics/fermats-last-theorem contains 13,837,847 total lines: 12,213,865 code, 2,591 comments, 1,621,391 blank, across 62,552 files in 11 languages (top: Lean 97.3%). Custom configuration (tests excluded, docs excluded, generated excluded). Counted with tokei via OctoCounts.

anthropics/fermats-last-theorem has 12,213,865 source lines of code out of 13,837,847 total lines across 62,552 files, counted from the main ref at commit aa2d8b34692b by the OctoCounts tokei engine on 2026-09-05. The report is cached by commit, tokei version, and analysis options, so recounting the same revision returns exactly these numbers.

OctoCounts produced this report by resolving anthropics/fermats-last-theorem to commit aa2d8b34692b, 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 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 | 60,478 | 13,499,380 | 11,878,819 | 1,801 | 1,618,760 |
| HTML | 1,795 | 335,537 | 332,853 | 151 | 2,533 |
| 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 | 517 | 0 | 444 | 73 |
| Plain Text | 1 | 4 | 0 | 4 | 0 |

Top language (Lean 97.3%). Generated at 2026-09-05T16:09:22.985284003+00:00. Canonical report: https://octocounts.com/github/anthropics/fermats-last-theorem

## Reproduce this report

[Reproduce this exact report and configuration](https://octocounts.com/github/anthropics/fermats-last-theorem/commit/aa2d8b34692b16c70f699536de0d8e75b9a3e9ef?analysis=%7B%22ignoredDirs%22%3A%5B%5D%2C%22ignoredLanguages%22%3A%5B%5D%2C%22profile%22%3A%22default%22%2C%22includeDocs%22%3Afalse%2C%22includeTests%22%3Afalse%2C%22includeGenerated%22%3Afalse%7D).

## Report FAQ

### How many lines of code does anthropics/fermats-last-theorem have?

anthropics/fermats-last-theorem has 13,837,847 total lines, including 12,213,865 code lines, 2,591 comment lines, and 1,621,391 blank lines.

### How was the anthropics/fermats-last-theorem line count measured?

OctoCounts resolved the public GitHub repository to commit aa2d8b34692b, downloaded the source archive, counted it with tokei, and cached the report by commit, tokei version, and analysis options.

### What commit was counted for anthropics/fermats-last-theorem?

This OctoCounts report was generated from main at commit aa2d8b34692b on 2026-09-05T16:09:22.985284003+00:00.

## Similar repository reports

- [tristanbuckmaster/fluid_lean](https://octocounts.com/github/tristanbuckmaster/fluid_lean) — Lean, 1,578,291 code lines
- [leanprover-community/mathlib4](https://octocounts.com/github/leanprover-community/mathlib4) — Lean, 1,445,638 code lines
- [gcc-mirror/gcc](https://octocounts.com/github/gcc-mirror/gcc) — C, 11,245,820 code lines
- [DeusData/codebase-memory-mcp](https://octocounts.com/github/DeusData/codebase-memory-mcp) — C, 13,187,848 code lines
- [elastic/kibana](https://octocounts.com/github/elastic/kibana) — TypeScript, 10,770,625 code lines
- [openclaw/openclaw](https://octocounts.com/github/openclaw/openclaw) — TypeScript, 10,518,594 code lines

## Related OctoCounts pages

- [Recently analyzed repositories](https://octocounts.com/recent)
- [Popular SLOC reports](https://octocounts.com/popular)
- [Trending GitHub repositories](https://octocounts.com/trending)
- [Hall of Monoliths](https://octocounts.com/hall-of-monoliths)
- [GitHub SLOC counter guide](https://octocounts.com/docs/github-sloc-counter)
- [Counting methodology](https://octocounts.com/docs/methodology)
- [SLOC and code metrics glossary](https://octocounts.com/docs/glossary)
- [Original research: how filtering changes SLOC counts](https://octocounts.com/research)
- [OctoCounts API docs](https://octocounts.com/docs/api)