The Stacks project

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 20051 tags in total.

type count
definition 1672
example 419
exercise 366
lemma 11675
proposition 302
remark 915
remarks 5
situation 115
theorem 206
part 9
chapter 114
section 3121
subsection 36

Record-breaking tags

metric tag value
most complex tag 0E9C 6626 in dependency graph
most used tag 00E0 6787 tags (indirectly) build on this
most referenced tag 00DV 119 tags reference this tag
longest proof 07FJ 18684 characters long (in HTML)

Other statistics

metric value
number of slogans 229
number of references 239
number of historical remarks 3
number of comments 5404