We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Trying to fix Go playground's link.
Added installation instructions and small preamble with link to textbook.
Introducing the In() and Satisfies() methods.
Gives an example of getting a transition system and collecting one state from it.
Attempting to write small intro about transition systems.
Initial Home page