Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Statistics

Here we collect some metrics regarding Kerodon.

Breakdown of tags per type

There are 5154 tags in total.

type count
definition 317
example 688
exercise 118
lemma 127
proposition 727
question 11
remark 1156
theorem 94
part 3
chapter 9
section 52
subsection 315

Record-breaking tags

metric tag value
most complex tag 04EW 971 in dependency graph
most used tag 0014 1068 tags (indirectly) build on this
most referenced tag 001B 30 tags reference this tag
longest proof 00AU 21732 characters long (in HTML)