arroy

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