Skip to content

UniFormal/uniformal.github.io

Repository files navigation

Build Status

UniFormal Documentation: https://uniformal.github.io/

This repository contains the homepage and documentation of the MMT system.

It is built and served by GitHub pages (i.e. based on Jekyll) https://uniformal.github.io/. Moreover, independently, some linting is performed via GitHub actions, which checks for dead links among other things.

Also, the wiki accompanying this repo contains some articles not yet worked into the official deployed site. In particular, caused and fixes for common error messages are detailed there.

Issues

Please report any issues with the documentation in the main MMT issue tracker with the "documentation" label.

How to contribute, build and format pages

More information about the repository is at https://uniformal.github.io/doc/development/documentation.html.