meitinger / mona-web Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cs-au-dk/mona
MONA - a decision procedure for monadic second-order logic on finite strings and trees
Home Page: https://meitinger.github.io/MONA-WEB
License: GNU General Public License v2.0