Jump to: navigation, search
Page statistics
Content pages8
(All pages in the wiki, including talk pages, redirects, etc.)
Uploaded files83
Edit statistics
Page edits since The Maude System was set up420
Average edits per page3.82
User statistics
Registered users3
Active users (list of members)
(Users who have performed an action in the last 30 days)
Bots (list of members)0
Administrators (list of members)3
Bureaucrats (list of members)1
View statistics
Views total
(Views to non-existing pages and special pages are not included)
Views per edit3,027.13
Most viewed pages
The Maude System709,185
Maude download and installation94,906
Maude Tools: Maude-NPA63,066
Maude Manual and Examples48,513
Maude Tools45,640
Maude Overview39,532
Rewriting Logic37,633
All Maude 2 versions30,328
Maude Tools:Order-sorted Term Patterns25,561
The Maude Project and Team17,131