Jump to: navigation, search
Page statistics
Content pages9
(All pages in the wiki, including talk pages, redirects, etc.)
Uploaded files83
Edit statistics
Page edits since The Maude System was set up457
Average edits per page4.12
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,941.44
Most viewed pages
The Maude System734,643
Maude download and installation101,571
Maude Tools: Maude-NPA66,791
Maude Manual and Examples52,585
Maude Tools48,261
Maude Overview41,109
Rewriting Logic39,938
All Maude 2 versions31,849
Maude Tools:Order-sorted Term Patterns26,910
The Maude Project and Team18,445