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

type count
definition 302
example 662
exercise 115
lemma 109
proposition 677
question 11
remark 1098
theorem 88
part 3
chapter 9
section 51
subsection 300

Record-breaking tags

metric tag value
most complex tag 03WY 946 in dependency graph
most used tag 0014 962 tags (indirectly) build on this
most referenced tag 001B 29 tags reference this tag
longest proof 00AU 21732 characters long (in HTML)