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 20332 tags in total.
type |
count |
definition |
1681
|
example |
423
|
exercise |
366
|
lemma |
11863
|
proposition |
306
|
remark |
952
|
remarks |
5
|
situation |
119
|
theorem |
207
|
part |
9
|
chapter |
114
|
section |
3154
|
subsection |
36
|
Record-breaking tags
metric |
tag |
value |
most complex tag |
0E9C |
6651 in dependency graph |
most used tag |
00E0 |
6887 tags (indirectly) build on this |
most referenced tag |
00DV |
120 tags reference this tag |
longest proof |
07FJ |
18684 characters long (in HTML) |
Other statistics
metric |
value |
number of slogans |
229 |
number of references |
241 |
number of historical remarks |
3 |
number of comments |
5538 |