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 edit2,998.01
Most viewed pages
The Maude System705,920
Maude download and installation94,665
Maude Tools: Maude-NPA62,837
Maude Manual and Examples48,221
Maude Tools45,532
Rewriting Logic37,392
Maude Overview33,142
All Maude 2 versions30,252
Maude Tools:Order-sorted Term Patterns25,534
The Maude Project and Team17,025