Anzeige
Loch
HOL ist ein Programmierumfeld, in dem die Theorems nachgewiesen werden können und die Proof-Tools implementiert werden können. ...
Programmierumgebung. automatisiert Proof-System Theorems Solver. Loch
Isabelle
Isabelle ist ein beliebter generischer Theorem-Vorsprung, der an der Cambridge University und der Tu München entwickelt wurde. ...
Assistent nachweisen Theorem-Besprecher. mathematische Formeln. Proof Assistant
Checken
ein formales Proof-Management-System ...
Verwaltung Infinitesimalrechnung nachweisen Proof Assistant Proofmanagement.