Jump to: navigation, search
Page statistics
Content pages8
(All pages in the wiki, including talk pages, redirects, etc.)
Uploaded files79
Edit statistics
Page edits since The Maude System was set up386
Average edits per page3.64
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 edit2,993.11
Most viewed pages
The Maude System659,551
Maude download and installation88,041
Maude Tools: Maude-NPA58,664
Maude Tools43,140
Maude Manual and Examples43,035
Maude Overview30,883
All Maude 2 versions28,786
Rewriting Logic26,413
Maude Tools:Order-sorted Term Patterns23,477
The Maude Project and Team15,455