$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Statistics
Here we collect some metrics regarding Kerodon.
Breakdown of tags per type
There are 8189 tags in total.
| type | count |
|---|---|
| definition | 495 |
| example | 1125 |
| exercise | 158 |
| lemma | 201 |
| proposition | 1170 |
| question | 13 |
| remark | 1810 |
| theorem | 144 |
| part | 3 |
| chapter | 11 |
| section | 67 |
| subsection | 435 |
Record-breaking tags
| metric | tag | value |
|---|---|---|
| most complex tag | 072M | 1561 in dependency graph |
| most used tag | 0014 | 1794 tags (indirectly) build on this |
| most referenced tag | 001B | 49 tags reference this tag |
| longest proof | 00AU | 21724 characters long (in HTML) |