Statistics
From The Twelf Project
| Page statistics | |
|---|---|
| Content pages | 228 |
| Pages (All pages in the wiki, including talk pages, redirects, etc.) | 694 |
| Uploaded files | 19 |
| Edit statistics | |
| Page edits since The Twelf Project was set up | 6,738 |
| Average edits per page | 9.71 |
| Job queue length | 0 |
| User statistics | |
| Registered users | 1,124 |
| Active users (list of members) (Users who have performed an action in the last 91 days) | 21 |
| Bots (list of members) | 0 |
| Administrators (list of members) | 17 |
| Bureaucrats (list of members) | 5 |
| party-elf (list of members) | 35 |
| View statistics | |
| Views total | 773,664 |
| Views per edit | 114.82 |
| Most viewed pages | |
| Main Page | 91,539 |
| Tutorials | 13,607 |
| Download | 11,433 |
| Introductions to Twelf | 10,655 |
| About The Twelf Project | 10,558 |
| Documentation | 10,129 |
| POPL Tutorial | 8,654 |
| Case studies | 8,094 |
| Proving metatheorems with Twelf | 7,973 |
| Glossary | 7,906 |
