search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Wiki and other Documentation #427

Closed lambdaTotoro closed 5 years ago

lambdaTotoro commented 5 years ago

As discussed in the KWARC Meeting in KW 3, we want a better documentation for MMT and related systems, especially for newcomers but also for KWARCies.

This includes a wiki for quick and/or informal docs that can then be extended and mature into the more supervised parts of the documentation (or so is the plan).

lambdaTotoro commented 5 years ago

Wiki can be found here, further links will also be provided there: https://github.com/UniFormal/uniformal.github.io/wiki