Explore projects

Repository of binary releases of the Sally4 framework

Competition between python TicTacToe AIs

We archive KI-Projekts of the KWARC group here.

The papers about MathWebSearch

KAT papers

archiving all the completed MSc supervision repositories after a while

user interface to present error output