The MMT blue notes

We try to enrich SMGloM with syntactic information that will allow us to parse with GF.

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

Preparation for a Special Interest Group for Maths Linguistics (SIGMathLing)

The (Jekyll generated part) of the kwarc website

An attempt at a new KWARC web site based on the one from OpenDreamKit

Competition between python TicTacToe AIs

Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

Deliverable 4.2

Related Work for FrameIT

papers/manuals on the OAF build system.