Statistics
From Openproofs
| Page statistics | |
|---|---|
| Content pages | 9 |
| Pages (All pages in the wiki, including talk pages, redirects, etc.) | 61 |
| Uploaded files | 0 |
| Edit statistics | |
| Page edits since Openproofs was set up | 478 |
| Average edits per page | 7.84 |
| Job queue length | 0 |
| User statistics | |
| Registered users | 20 |
| Active users (Users who have performed an action in the last 7 days) | 5 |
| Bots (list of members) | 1 |
| Administrators (list of members) | 8 |
| Bureaucrats (list of members) | 8 |
| View statistics | |
| Views total | 2,537,862 |
| Views per edit | 5,309.33 | Most viewed pages |
| Main Page | 2,329,589 |
| Packaging status | 35,630 |
| Open Proof FAQ | 15,918 |
| Components that should be Open Proofs | 11,235 |
| SPARK | 10,899 |
| List of Known Open Proofs | 10,357 |
| Tokeneer | 10,232 |
| Openproofs:Current events | 7,882 |
| Request wiki account | 7,095 |
| Ada | 6,900 |
