Anzeige
Zum Download
0
0 Stimmen
50
40
30
20
10
Hersteller: Zur Website
Preis: kostenlos
Lizenz: Open Source
Betriebssystem: Linux, Mac
Download-Größe: 7782 KByte
Downloadrang: 25389
Datensatz zuletzt aktualisiert: 20.01.2024
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

Kommentare öffnen Weitere Kommentare laden...

Das könnte dich auch interessieren