Difference between revisions of "Maude Manual and Examples"
From The Maude System
Line 1: | Line 1: | ||
== Manual - Latest Version == | == Manual - Latest Version == | ||
− | The Maude manual for Maude 3. | + | The Maude manual for Maude 3.1 is available in [[Media:Maude-3.1-manual.pdf|PDF format]] and as a [http://maude.lcc.uma.es/maude31-manual-html/maude-manual.html HTML] version. |
− | The source code for the examples used in the manual is also available [[Media:Maude-3. | + | The source code for the examples used in the manual is also available [[Media:Maude-3.1-manual-book-examples.zip|here]] together with the examples from the Maude book. |
== Additional Resources == | == Additional Resources == | ||
The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available [[Maude 2 Primer and Examples|here]]. | The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available [[Maude 2 Primer and Examples|here]]. |
Revision as of 16:48, 2 November 2020
Manual - Latest Version
The Maude manual for Maude 3.1 is available in PDF format and as a HTML version. The source code for the examples used in the manual is also available here together with the examples from the Maude book.
Additional Resources
The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available here.