Kerodon

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

Statistics

Here we collect some metrics regarding Kerodon.

Breakdown of tags per type

There are 730 tags in total.

type count
definition 72
example 165
exercise 20
lemma 7
proposition 72
question 3
remark 177
theorem 11
part 2
chapter 3
section 13
subsection 55

Record-breaking tags

metric tag value
most complex tag 00AX 18 in dependency graph
most used tag 0014 35 tags (indirectly) build on this
most referenced tag 000Z 7 tags reference this tag
longest proof 00AU 21725 characters long (in HTML)