University of Cambridge

http://isabelle.in.tum.de/
Anzeige
avatar
0 Fan(s)

Programme von University of Cambridge

Isabelle

Verarbeitet mathematische Formeln in einer formalen Sprache und bietet Werkzeuge für eine Beweisführung an; Quellcode, Handbuch und Dokumentation sind …

Lizenz: Open Source