HOL 7
HOL Kurz von Logik höherer Ordnung ist eine Programmierumgebung, in der Theoreme bewiesen werden kann und Sichere Werkzeuge implementiert.Integrierte Entscheidungsverfahren und Theorembeweisern automatisch etablieren viele einfache Sätze. Ein...