Statistics
Here we collect some metrics regarding the Clowder Project.
Breakdown of tags per type
There are 2556 tags in total.
| type | count |
|---|---|
| definition | 245 |
| remark | 116 |
| construction | 34 |
| example | 40 |
| notation | 21 |
| warning | 4 |
| proposition | 155 |
| theorem | 2 |
| corollary | 4 |
| lemma | 1 |
| oldtag | 9 |
| question | 22 |
| gap | 14 |
| item | 1459 |
| part | 7 |
| chapter | 14 |
| section | 61 |
| subsection | 301 |
| subsubsection | 47 |
Record-breaking tags
| metric | tag | value |
|---|---|---|
| most complex tag | 01JJ | 366 in dependency graph |
| most used tag | 00W8 | 77 tags (indirectly) build on this |
| most referenced tag | 00W8 | 36 tags reference this tag |
| longest proof | 01VZ | 58052 characters long (in HTML) |