Kerodon

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Statistics

Here we collect some metrics regarding Kerodon.

Breakdown of tags per type

There are 254 tags in total.

type count
definition 31
example 51
exercise 8
lemma 5
proposition 34
question 3
remark 49
theorem 2
part 1
chapter 1
section 4
subsection 24

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 007F 6416 characters long (in HTML)