Releases · maude-lang/maude-lang.github.io

26 Nov 01:24

ningit

Maude-related papers

Initial contents

Co-authored-by: Paco Durán <narudocap@gmail.com>

Assets 8

26 Nov 01:22

ningit

Maude-NPA resources

Initial contents

Co-authored-by: Paco Durán <narudocap@gmail.com>

Assets 14

26 Nov 01:25

ningit

Maude resources Latest

Latest

Initial contents

Co-authored-by: Paco Durán <narudocap@gmail.com>

Assets 21

Maude-2.7.1-manual-book-examples.zip

sha256:902b68a08d39972835561f525b988b14d747fd739206bb1c5d2bb31040309464

226 KB 2025-11-26T01:25:44Z
Maude-2.7.1-manual.pdf

sha256:4bf5cd8ad30ba6ec0edec3145874c02d86d4215643e7840d40d991ce7803da09

2.18 MB 2025-11-26T01:25:44Z
Maude-3.0-manual-book-examples.zip

sha256:15afe1ef964395c3765aba46ca8faa69972288963ffec21e721312c80ffc12d5

253 KB 2025-11-26T01:25:44Z
Maude-3.0-manual.pdf

sha256:c709c11fecc6488f5707086a06eaecb6140db5d298806e46efc933c2e5f84ca3

2.3 MB 2025-11-26T01:25:47Z
Maude-3.1-manual-book-examples.zip

sha256:1beabaeee5bd26ab420cbfc6faa9daeec335051584d28921147aedebeb33e1a2

261 KB 2025-11-26T01:25:47Z
Maude-3.1-manual.pdf

sha256:4851791b574dc5764eed6df75fc2e81cf18360492b4ac02539c1a2a322478a1e

2.78 MB 2025-11-26T01:25:47Z
Maude-3.2-manual.pdf

sha256:026c316d9e497dc503daeb343e53385ae0a9563abc5555b03569a669593b4806

2.77 MB 2025-11-26T01:25:48Z
Maude-3.2.1-manual.pdf

sha256:ee8227fbb915e35dd0b2b249bbe173eab441ea1a21fb5e5bad18e4a14be19cf9

2.84 MB 2025-11-26T01:25:47Z
Maude-3.3.1-manual.pdf

sha256:0eeb97823977c5000818a599485ac28b3ad48b90f38e65d1ebe85a432daa83b7

2.73 MB 2025-11-26T01:25:48Z
Maude-3.4-manual-book-examples.zip

sha256:39cd750a4700c8e6225aaef69c0dfc1c1a2fae9b204e5e3b44885c02ccc3eb53

275 KB 2025-11-26T01:25:48Z
Source code (zip)

2025-11-26T01:15:33Z
Source code (tar.gz)

2025-11-26T01:15:33Z

Provide feedback