Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
user:software [2016-04-13 21:15] mh |
user:software [2018-12-14 13:31] (aktuell) mga |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
====== Software ====== | ====== Software ====== | ||
- | Auf den meisten Rechnern der Arbeitsgruppe läuft Debian, | + | Auf den meisten Rechnern der Arbeitsgruppe läuft Debian stable (x86_64), |
so dass die üblichen Debian-Pakete vorhanden sind | so dass die üblichen Debian-Pakete vorhanden sind | ||
(falls etwas nicht installiert ist, bitte nachfragen). | (falls etwas nicht installiert ist, bitte nachfragen). | ||
- | Darüberhinaus existieren verschiedene Softwarepakete | + | Darüber hinaus existieren verschiedene Software-Installationen |
auf den Rechnern der Arbeitsgruppe, | auf den Rechnern der Arbeitsgruppe, | ||
- | insbesondere Implementierungen der Programmiersprachen | + | insbesondere Implementierungen der folgenden Programmiersprachen |
und Theorembeweiser: | und Theorembeweiser: | ||
Zeile 15: | Zeile 15: | ||
* [[user:software:scheme]] | * [[user:software:scheme]] | ||
* [[user:software:scala]] | * [[user:software:scala]] | ||
- | * [[user:software:provers]] | + | * [[user:software:variousprovers]] |
- | * [[user:software:test]] | + | |
Falls da etwas nicht funkioniert oder weitere Systeme | Falls da etwas nicht funkioniert oder weitere Systeme | ||
installiert werden sollen, bitte mitteilen. | installiert werden sollen, bitte mitteilen. | ||
- | |||