Statistics
Here we collect some metrics regarding the Clowder Project.
Breakdown of tags per type
There are 2034 tags in total.
| type | count |
|---|---|
| definition | 245 |
| example | 40 |
| exercise | |
| lemma | 1 |
| proposition | 155 |
| remark | 114 |
| remarks | |
| situation | |
| theorem | 3 |
| corollary | 2 |
| part | 6 |
| chapter | 12 |
| section | 53 |
| subsection | 283 |
| subsubsection | 18 |
Record-breaking tags
| metric | tag | value |
|---|---|---|
| most complex tag | 01JJ | 286 in dependency graph |
| most used tag | 00W8 | 45 tags (indirectly) build on this |
| most referenced tag | 00W8 | 23 tags reference this tag |
| longest proof | 01P9 | 30336 characters long (in HTML) |
Other statistics
| metric | value |
|---|---|
| number of slogans | 0 |
| number of references | 0 |
| number of historical remarks | 0 |
| number of comments | 1 |