Difference between revisions of "All Maude 3 versions"

From The Maude System
Jump to: navigation, search
(Created page with "==Maude 3.0== * Maude 3.0 for Linux64 * Maude 3.0 for Mac OS X * Media:Maude-3.0+cvc4-linux.zip|Maude 3.0 (with CVC...")
 
(Maude 3.0)
Line 1: Line 1:
 
==Maude 3.0==
 
==Maude 3.0==
* [[Media:Maude-3.0-linux.zip|Maude 3.0 for Linux64]]
+
* [[Media:Maude-3.0+yices2-linux.zip|Maude 3.0 (with Yices 2) for Linux64]]
* [[Media:Maude-3.0-osx.zip|Maude 3.0 for Mac OS X]]
+
* [[Media:Maude-3.0+yices2-osx.zip|Maude 3.0 (with Yices 2) for Mac OS X]]
* [[Media:Maude-3.0+cvc4-linux.zip|Maude 3.0 (with CVC4) for Linux64]]
+
* [[Media:Maude-3.0+cvc4-linux.zip|Maude 3.0 (with CVC 4) for Linux64]]
* [[Media:Maude-3.0+cvc4-osx.zip|Maude 3.0 (with CVC4) for Mac OS X]]
+
* [[Media:Maude-3.0+cvc4-osx.zip|Maude 3.0 (with CVC 4) for Mac OS X]]
 
* [[Media:Maude-3.0.tar.gz|Maude 3.0 source files]]
 
* [[Media:Maude-3.0.tar.gz|Maude 3.0 source files]]
 
* [[Media:Full-Maude-3.0.zip|Full Maude 3.0]]
 
* [[Media:Full-Maude-3.0.zip|Full Maude 3.0]]
 
* [[Media:Maude-3.0-manual.pdf|Maude 3.0 manual]] and [[Media:Maude-3.0-manual-book-examples.zip|examples from the Maude 3.0 manual and book]]
 
* [[Media:Maude-3.0-manual.pdf|Maude 3.0 manual]] and [[Media:Maude-3.0-manual-book-examples.zip|examples from the Maude 3.0 manual and book]]

Revision as of 19:46, 17 December 2019

Maude 3.0