Theoretical Computer Science


TcT is hosted on our Github page. It consists of multiple packages. Most likely you want one of tct-its, tct-trs or tct-hoca. The installation procedures and requirements are provided in the file (which is displayed on the respective Github-project page). Following modules are available:

TcT instances:
Other modules:


The releases are licensed under BSD3. See for more information on BSD3.

Old releases

The old releases of TcT are sill available in our archive.