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 21319 tags in total.
type |
count |
definition |
1717
|
example |
445
|
exercise |
379
|
lemma |
12503
|
proposition |
329
|
remark |
1032
|
remarks |
5
|
situation |
124
|
theorem |
213
|
part |
9
|
chapter |
116
|
section |
3289
|
subsection |
36
|
Record-breaking tags
metric |
tag |
value |
most complex tag |
0E9C |
6808 in dependency graph |
most used tag |
00E0 |
7354 tags (indirectly) build on this |
most referenced tag |
00DV |
121 tags reference this tag |
longest proof |
0GI5 |
25693 characters long (in HTML) |
Other statistics
metric |
value |
number of slogans |
241 |
number of references |
271 |
number of historical remarks |
4 |
number of comments |
9053 |