====== 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:

  * [[user:software:haskell]]
  * [[user:software:curry]]
  * [[user:software:prolog]]
  * [[user:software:scheme]]
  * [[user:software:scala]]
  * [[user:software:variousprovers]]

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