Explore projects

Competition between python TicTacToe AIs

We archive KI-Projekts of the KWARC group here.

KAT papers

The papers about MathWebSearch

O Week Stuff from Tyler

archiving all the completed MSc supervision repositories after a while

user interface to present error output