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

type count
definition 202
example 453
exercise 68
lemma 64
proposition 407
question 6
remark 731
theorem 57
part 3
chapter 8
section 38
subsection 205

Record-breaking tags

metric tag value
most complex tag 01SZ 432 in dependency graph
most used tag 0014 436 tags (indirectly) build on this
most referenced tag 001B 17 tags reference this tag
longest proof 00AU 21732 characters long (in HTML)