Statistics
Here we collect some metrics regarding the Stacks project. If you have a suggestion for an interesting metric, please get in touch.
Breakdown of tags per type
There are 21390 tags in total.
| type | count |
|---|---|
| definition | 1717 |
| example | 448 |
| exercise | 386 |
| lemma | 12548 |
| proposition | 330 |
| remark | 1040 |
| remarks | 5 |
| situation | 124 |
| theorem | 214 |
| part | 9 |
| chapter | 116 |
| section | 3292 |
| subsection | 36 |
Record-breaking tags
| metric | tag | value |
|---|---|---|
| most complex tag | 0E9C | 6818 in dependency graph |
| most used tag | 00E0 | 7366 tags (indirectly) build on this |
| most referenced tag | 00DV | 120 tags reference this tag |
| longest proof | 0GI5 | 25693 characters long (in HTML) |
Other statistics
| metric | value |
|---|---|
| number of slogans | 244 |
| number of references | 273 |
| number of historical remarks | 4 |
| number of comments | 10014 |