Zum Download
0
0 Stimmen
50
40
30
20
10
Hersteller: » Zur Website
Preis: kostenlos
Lizenz: Open Source
Betriebssystem: Linux, OS X, keine näheren Angaben
Download-Größe: 7782 KByte
Downloadrang: 23604
Datensatz zuletzt aktualisiert: 25.05.2015
Alle Angaben ohne Gewähr

Verarbeitet mathematische Formeln in einer formalen Sprache und bietet Werkzeuge für eine Beweisführung an; Quellcode, Handbuch und Dokumentation sind frei auf der Webseite verfügbar; läuft mit Hilfe von Cygwin auch unter Windows

( )

Kommentare

{{commentsTotalLength}} KommentarKommentare

Weitere Kommentare laden...

Das könnte dich auch interessieren