merc_syntax 2.0.0

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