# 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%). Counted with tokei via OctoCounts.

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

## 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

- [DeusData/codebase-memory-mcp](https://octocounts.com/github/DeusData/codebase-memory-mcp) — C, 13,179,668 code lines
- [gcc-mirror/gcc](https://octocounts.com/github/gcc-mirror/gcc) — C, 11,232,096 code lines
- [JetBrains/intellij-community](https://octocounts.com/github/JetBrains/intellij-community) — Java, 10,693,311 code lines
- [elastic/kibana](https://octocounts.com/github/elastic/kibana) — TypeScript, 10,375,225 code lines
- [nodejs/node](https://octocounts.com/github/nodejs/node) — C Header, 9,914,088 code lines
- [bojieli/ai-agent-book](https://octocounts.com/github/bojieli/ai-agent-book) — JSON, 8,413,937 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)
- [OctoCounts API docs](https://octocounts.com/docs/api)