labelled transition system language
Racket
Switch branches/tags
Nothing to show
Clone or download
Latest commit 487b8cb May 30, 2017
Permalink
Failed to load latest commit information.
arroy tests May 30, 2017
.gitignore Changing the LTS interface Oct 18, 2012
LICENSE Adding license Oct 31, 2013
README Adding readme Oct 31, 2013
info.rkt meta Aug 9, 2013

README

labelled transition system language