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

type count
definition 275
example 631
exercise 107
lemma 100
proposition 640
question 8
remark 1040
theorem 79
part 3
chapter 9
section 49
subsection 284

Record-breaking tags

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