merc_syntax 1.0.0

Provides an AST and Pest grammar for the mCRL2 specification language.
Documentation