mmtpygments (pypi): Pygments plugin for MMT surface syntax (lexer & style)
Keywords: pygments|highlighting|mmt|minted