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

type count
definition 210
example 466
exercise 73
lemma 70
proposition 442
question 6
remark 755
theorem 62
part 3
chapter 8
section 40
subsection 217

Record-breaking tags

metric tag value
most complex tag 02QC 515 in dependency graph
most used tag 0014 502 tags (indirectly) build on this
most referenced tag 001B 23 tags reference this tag
longest proof 00AU 21732 characters long (in HTML)