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

type count
definition 1690
example 430
exercise 366
lemma 12042
proposition 314
remark 976
remarks 5
situation 120
theorem 210
part 9
chapter 114
section 3187
subsection 36

Record-breaking tags

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

Other statistics

metric value
number of slogans 229
number of references 244
number of historical remarks 3
number of comments 6021