The MMT blue notes
This is the frontend repository where issues and wikis regarding the Sally4 project are hosted.
Repository of binary releases of the Sally4 framework
Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.
user interface to present error output