Difference between revisions of "Maude Manual and Examples"
From The Maude System
Maudesystem (Talk | contribs) (Created page with "The Maude book for Maude 2.7 is available in PDF format and as a HTML version. The source code for the examples used in the manual is also available...") |
|||
(15 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | + | == Manual - Latest Version == | |
− | + | ||
− | + | ||
− | + | ||
− | The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available [[Maude | + | The Maude manual for Maude 3.2.1 is available in [[Media:Maude-3.2.1-manual.pdf|PDF format]] and in [http://maude.lcc.uma.es/maude321-manual-html/maude-manual.html HTML]. |
+ | 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 == | ||
+ | |||
+ | A primer written for Maude 2.0.1 (but mostly applicable for later versions too) is available in [[Media:Maude-primer.pdf|PDF]] format. | ||
+ | The examples are available as a tarred gzipped [[Media:Maude-primer-Ex.tar.gz|archive]]. |
Revision as of 17:23, 22 February 2022
Manual - Latest Version
The Maude manual for Maude 3.2.1 is available in PDF format and in HTML. The source code for the examples used in the manual is also available here together with the examples from the Maude book.
Additional Resources
A primer written for Maude 2.0.1 (but mostly applicable for later versions too) is available in PDF format. The examples are available as a tarred gzipped archive.