$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Statistics
Here we collect some metrics regarding Kerodon.
Breakdown of tags per type
There are 5154 tags in total.
type | count |
---|---|
definition | 317 |
example | 688 |
exercise | 118 |
lemma | 127 |
proposition | 727 |
question | 11 |
remark | 1156 |
theorem | 94 |
part | 3 |
chapter | 9 |
section | 52 |
subsection | 315 |
Record-breaking tags
metric | tag | value |
---|---|---|
most complex tag | 04EW | 971 in dependency graph |
most used tag | 0014 | 1068 tags (indirectly) build on this |
most referenced tag | 001B | 30 tags reference this tag |
longest proof | 00AU | 21732 characters long (in HTML) |