Software

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:

• Haskell
• Curry
• Prolog
• Scheme/Racket
• Scala
• Verschiedene Theorem-Beweiser

Falls da etwas nicht funkioniert oder weitere Systeme installiert werden sollen, bitte mitteilen.