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:17] 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]] |
| 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. | ||
| - | |||
