GitHub repository: maude-team/full-maude
Primary language: Python
Description: Automatically exported from code.google.com/p/full-maude