Click on the appropriate link below to download the appropriate binary:
These binaries are written in JAVA. In case you don't have the JAVA virtual machine installed in your platform, you can download it from
There are also a Maude version for Microsoft Windows using
. If you want to use it with Maude Workstation, you must download
or install a little packet with the necessary binaries.
These binaries are also available below:
Maude for Microsoft Windows
Minimum install of Cygwin