External third party tools

The tools given below are not part of the toolset, but are standalone tools that have mCRL2-related functionalities.

• A tool for generating LaTeX from a mu-calculus formula in the mCRL2 syntax: GitHub, Web app.