Statistics
Here we collect some metrics regarding the Clowder Project.
Breakdown of tags per type
There are 1600 tags in total.
type |
count |
definition |
219
|
example |
36
|
exercise |
|
lemma |
|
proposition |
138
|
remark |
93
|
remarks |
|
situation |
|
theorem |
2
|
corollary |
1
|
part |
5
|
chapter |
10
|
section |
42
|
subsection |
225
|
subsubsection |
18
|
Record-breaking tags
metric |
tag |
value |
most complex tag |
00TD |
215 in dependency graph |
most used tag |
00W8 |
34 tags (indirectly) build on this |
most referenced tag |
000J |
14 tags reference this tag |
longest proof |
00G5 |
16700 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 |