larstvei / homebrew-maude

A brew formula for The Maude System

Homebrew formula for The Maude System

This repository contains a simple Homebrew formula for The Maude System.

Assuming you have brew installed and wish to install Maude, first tap into this repository:

brew tap larstvei/homebrew-maude

You can then install Core Maude by running:

brew install maude

For Full Maude run:

brew install full-maude

Running the command maude should produce something like this:

                     \||||||||||||||||||/
                   --- Welcome to Maude ---
                     /||||||||||||||||||\
            Maude 3.1 built: Oct 12 2020 20:13:41
            Copyright 1997-2020 SRI International
                   Wed Apr 21 11:55:56 2021
Maude>