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

type count
definition 1618
example 384
exercise 347
lemma 11035
proposition 280
remark 817
remarks 5
situation 112
theorem 201
part 9
chapter 110
section 2929
subsection 37

Record-breaking tags

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

Other statistics

metric value
number of slogans 214
number of references 205
number of historical remarks 3
number of comments 3989