search

maude-lang / Maude

Language based on Rewriting Logic
GNU General Public License v2.0
88 stars 11 forks source link

Develop #1

Closed narudocap closed 2 months ago

narudocap commented 2 years ago

Modifications to the README file, adding some info on Maude and references to its official page,