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 21002 tags in total.
type |
count |
definition |
1700
|
example |
435
|
exercise |
379
|
lemma |
12303
|
proposition |
320
|
remark |
1011
|
remarks |
5
|
situation |
124
|
theorem |
213
|
part |
9
|
chapter |
115
|
section |
3240
|
subsection |
36
|
Record-breaking tags
metric |
tag |
value |
most complex tag |
0E9C |
6783 in dependency graph |
most used tag |
00E0 |
7206 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 |
238 |
number of references |
264 |
number of historical remarks |
4 |
number of comments |
6873 |