aoripov / MMT

The MMT Language and System

https://uniformal.github.io/

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

About

The MMT Language and System

https://uniformal.github.io/

Other

Languages

Language:Scala 62.3%Language:Web Ontology Language 18.0%Language:JavaScript 14.5%Language:HTML 2.2%Language:CSS 1.2%Language:TeX 1.0%Language:Java 0.4%Language:Shell 0.1%Language:GAP 0.1%Language:Batchfile 0.0%Language:Perl 0.0%Language:Roff 0.0%