Statistics
From LLWiki
Page statistics | |
---|---|
Content pages | 30 |
Pages (All pages in the wiki, including talk pages, redirects, etc.) | 89 |
Uploaded files | 0 |
Edit statistics | |
Page edits since LLWiki was set up | 636 |
Average edits per page | 7.15 |
User statistics | |
Registered users | 87 |
Active users (list of members) (Users who have performed an action in the last 30 days) | 0 |
Bots (list of members) | 0 |
Administrators (list of members) | 7 |
Bureaucrats (list of members) | 2 |
confirmed (list of members) | 25 |
View statistics | |
Views total (Views to non-existing pages and special pages are not included) | 2,300,848 |
Views per edit | 3,617.69 |
Most viewed pages | |
Main Page | 450,444 |
Categorical semantics | 236,372 |
Coherent semantics | 212,251 |
Geometry of interaction | 172,845 |
Sequent calculus | 138,693 |
Phase semantics | 90,343 |
Light linear logics | 82,515 |
Intuitionistic linear logic | 59,996 |
Relational semantics | 58,815 |
Provable formulas | 49,203 |