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

type count
definition 246
example 577
exercise 94
lemma 91
proposition 582
question 8
remark 936
theorem 73
part 3
chapter 8
section 45
subsection 257

Record-breaking tags

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