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,082.79
Most viewed pages
The Maude System715,245
Maude download and installation96,694
Maude Tools: Maude-NPA64,259
Maude Manual and Examples50,173
Maude Tools46,454
Maude Overview39,932
Rewriting Logic38,280
All Maude 2 versions30,772
Maude Tools:Order-sorted Term Patterns26,074
The Maude Project and Team17,506