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

type count
definition 270
example 620
exercise 104
lemma 98
proposition 634
question 8
remark 1021
theorem 76
part 3
chapter 9
section 48
subsection 279

Record-breaking tags

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