ITP: mona
ITP: mona, a theorem prover for the logics ws1s and ws2s (tree automata).
See http://www.brics.dk/mona/. The program is GPL but the documentation
is currently not (a BRICS technical report, "reproduction ... is permitted
for educational or research use"). The upstream release manager offered
to me to make a version of the documentation without this copyright
notice available, and told me that the future release of the update
manual will have an open licence.
Ralf (developers apprentice, having a mentor)
Reply to: