Follow @
OH
G
a generic library for labelled transition systems/automata in Haskell. GP course @ UU
No tags have been added