open-maude
alphaDescription
Open-Maude is a hacking version of the Maude System initially developed by SRI-International and the University of Illinois at Urbana-Champaign. It includes Small-Maude, a collateral project implementing a subset of Maude in Groovy
Categories
License
Update Notifications
User Reviews
Be the first to post a review of open-maude!