UniFormal / MMT

The MMT Language and System
70Updated 7 months ago

Alternatives and similar repositories for MMT:

Users that are interested in MMT are comparing it to the libraries listed below