pygments_plugin_vdm_lexer (pypi): Pygments lexer for VDM
Keywords: pygments|lexer|vdm