This a custom Pygments lexer for mCRL2. It provides lexing of model (*.mcrl2) and requirement (*.mcf) files.
It can be used in LaTeX locally and on Overleaf by following these instructions. For use with Overleaf, it is required to set TexLive to version 2020 in the project settings.
If some syntax is not tokenized properly, please provide an issue or fork an submit a pull request with a fix.