The Stacks project


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

type count
definition 1619
example 385
exercise 347
lemma 11094
proposition 281
remark 828
remarks 5
situation 112
theorem 201
part 9
chapter 110
section 2941
subsection 37

Record-breaking tags

metric tag value
most complex tag 0E9C 6581 in dependency graph
most used tag 00E0 6430 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 206
number of historical remarks 3
number of comments 4100