Here we collect some metrics regarding the Clowder Project.

Breakdown of tags per type

There are 1600 tags in total.

type count
definition 219
example 36
proposition 138
remark 93
theorem 2
corollary 1
part 5
chapter 10
section 42
subsection 225
subsubsection 18

Record-breaking tags

metric tag value
most complex tag 00TD 215 in dependency graph
most used tag 00W8 34 tags (indirectly) build on this
most referenced tag 000J 14 tags reference this tag
longest proof 00G5 16700 characters long (in HTML)

Other statistics

metric value
number of slogans 0
number of references 0
number of historical remarks 0
number of comments 1