GitHub repository: ComFreek/mmt-pygments-lexer
Primary language: Python
Created: 2019-06-19T09:11:31Z
Description: Pygments Lexer for MMT Surface Syntax from the MMT project