arroy

A little library for modeling labeled transition systems with a collaborative Web stepper.


Keywords
app, games, web
License
Other

Documentation

labelled transition system language