Explore projects

The Manuals and Documentation of the SMGloM project

Related Work for FrameIT

Deliverable 4.2

papers/manuals on the OAF build system.

Competition between python TicTacToe AIs

The Blue Notes of the SMGloM project

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

KAT papers

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

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