Maude Formal Environment

Overview

Automatically exported from code.google.com/p/maude-formal-environment Open-source project by Marko Schütz-Schmuck, published on GitHub.

Highlights

• Primary language: Shell
• Open source — view the code and contribute on GitHub

Built with

• Shell