Software

Auf den meisten Rechnern der Arbeitsgruppe läuft Debian, so dass die üblichen Debian-Pakete vorhanden sind (falls etwas nicht installiert ist, bitte nachfragen).

Darüberhinaus existieren verschiedene Softwarepakete auf den Rechnern der Arbeitsgruppe, insbesondere Implementierungen der 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.