reflective language for equational and rewriting logic specification

Current version

Revision: 1

maude requires the following formulae to be installed:
gmp 6.1.2_2 GNU multiple precision arithmetic library
libsigsegv 2.12 Library for handling page faults in user mode
libtecla 1.6.3 Command-line editing facilities similar to the tcsh shell
flex 2.6.4 Fast Lexical Analyzer, generates Scanners (tokenizers)

Recent formula history

Jorden Whitefield maude: depend on Flex for Linux

Formula code at GitHub