Auf den meisten Rechnern der Arbeitsgruppe läuft Debian stable (x86_64), so dass die üblichen Debian-Pakete vorhanden sind (falls etwas nicht installiert ist, bitte nachfragen).
Darüber hinaus existieren verschiedene Software-Installationen auf den Rechnern der Arbeitsgruppe, insbesondere Implementierungen der folgenden Programmiersprachen und Theorembeweiser:
Falls da etwas nicht funkioniert oder weitere Systeme installiert werden sollen, bitte mitteilen.