Software
Sequent Calculus Trainer
Der Sequenzenkalkültrainer ist ein Lerntool für das Konstruieren formaler Beweise im Sequenzenkalkül für die Aussagenlogik oder die Prädikatenlogik erster Stufe mit Gleichheit.
PGSolver ist eine Kollektion von Algorithmen und Heuristiken zum Lösen und Bearbeiten von Paritässpielen sowie einiger Benchmarks dafür. Es definiert ein Standard-Format für Paritätsspiele und für Gewinnstrategien. Co-Entwickler ist Oliver Friedmann.