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,589,417 |
| Views per edit | 4,071.41 |
| Most viewed pages | |
| Main Page | 484,105 |
| Categorical semantics | 260,156 |
| Coherent semantics | 232,491 |
| Geometry of interaction | 194,403 |
| Sequent calculus | 151,346 |
| Phase semantics | 101,354 |
| Light linear logics | 98,725 |
| Relational semantics | 70,037 |
| Intuitionistic linear logic | 64,659 |
| Provable formulas | 58,604 |
