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

type count
definition 1636
example 395
exercise 351
lemma 11265
proposition 290
remark 854
remarks 5
situation 112
theorem 201
part 9
chapter 112
section 2984
subsection 36

Record-breaking tags

metric tag value
most complex tag 0E9C 6588 in dependency graph
most used tag 00E0 6557 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 217
number of references 213
number of historical remarks 3
number of comments 4268