Explore projects

O Week Stuff from Tyler

papers/manuals on the OAF build system.

Moved to https://github.com/MathHubInfo/MoSIS_Jupyter_Kernel

We archive KI-Projekts of the KWARC group here.

Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.

Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

The (Jekyll generated part) of the kwarc website

The Blue Notes of the SMGloM project

This is the frontend repository where issues and wikis regarding the Sally4 project are hosted.

Repository of binary releases of the Sally4 framework