.. _external_tools:

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 <https://github.com/TarVK/mCRL2-formatter>`_, `Web app <https://tarvk.github.io/mCRL2-formatter/demo/build/>`_.