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

type count
definition 1707
example 436
exercise 379
lemma 12385
proposition 327
remark 1021
remarks 5
situation 124
theorem 213
part 9
chapter 115
section 3265
subsection 36

Record-breaking tags

metric tag value
most complex tag 0E9C 6788 in dependency graph
most used tag 00E0 7240 tags (indirectly) build on this
most referenced tag 00DV 120 tags reference this tag
longest proof 0GI5 25693 characters long (in HTML)

Other statistics

metric value
number of slogans 239
number of references 266
number of historical remarks 4
number of comments 7366