适用于Windows的Maude

Question

我尝试使用此处的说明http://safe-tools.dsic.upv.es/maude/安装Maude for Windows 10 64位

我无法让Cygwin终端去做它应该做的事情。

  

$ cd buddy   -bash：cd：buddy：没有这样的文件或目录

但目录显然在那里。

Answer 1

以下是我知道可以使用的其他链接，以防您想看看：

Direct method

For eclipse

Maude online compiler

我个人总是选择使用在线版。