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

type count
definition 220
example 492
exercise 82
lemma 87
proposition 502
question 6
remark 833
theorem 67
part 3
chapter 8
section 42
subsection 237

Record-breaking tags

metric tag value
most complex tag 02VG 631 in dependency graph
most used tag 0014 635 tags (indirectly) build on this
most referenced tag 001B 24 tags reference this tag
longest proof 00AU 21732 characters long (in HTML)