Statistics
Here we collect some metrics regarding the Clowder Project.
Breakdown of tags per type
There are 2898 tags in total.
| Type | Count |
|---|---|
| Definition | 267 |
| Remark | 128 |
| Construction | 34 |
| Example | 57 |
| Notation | 21 |
| Warning | 7 |
| Proposition | 185 |
| Theorem | 4 |
| Corollary | 9 |
| Lemma | 3 |
| Oldtag | 45 |
| Question | 18 |
| Gap | 14 |
| Item | 1629 |
| Part | 7 |
| Chapter | 15 |
| Section | 65 |
| Subsection | 339 |
| Subsubsection | 47 |
Record-breaking tags
| Metric | Tag | Value |
|---|---|---|
| Most complex tag | 02SE | 450 in dependency graph |
| Most used tag | 00W8 | 122 tags (indirectly) build on this |
| Most referenced tag | 00W8 | 48 tags reference this tag |
| Longest proof | 01VZ | 53796 characters long (in HTML) |