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

type count
definition 40
example 76
exercise 11
lemma 5
proposition 39
question 3
remark 90
theorem 7
part 1
chapter 2
section 6
subsection 36

Record-breaking tags

metric tag value
most complex tag 0066 18 in dependency graph
most used tag 0014 20 tags (indirectly) build on this
most referenced tag 000Z 6 tags reference this tag
longest proof 00AU 21733 characters long (in HTML)