2jacobtan / MMT

The MMT Language and System

https://uniformal.github.io/

The MMT documentation for both developers and users as well as can be found and edited at https://uniformal.github.io/.

Acknoledgements are at https://uniformal.github.io/doc/

About

The MMT Language and System

https://uniformal.github.io/

Other

Languages

Language:Scala 79.0%Language:JavaScript 14.8%Language:CSS 3.0%Language:TeX 1.7%Language:HTML 0.8%Language:Isabelle 0.3%Language:Python 0.2%Language:Shell 0.1%Language:Java 0.1%Language:GAP 0.0%Language:Batchfile 0.0%Language:Dockerfile 0.0%Language:Roff 0.0%Language:Makefile 0.0%