Checken bietet eine formale Sprache, um mathematische Definitionen zu schreiben.
Jetzt downloaden

Checken Ranking & Zusammenfassung

Checken Stichworte

nachweisen Arithmetik arithmetische Bibliothek Satz

Checken Beschreibung

COQ ist ein formales Proof-Management-System. Es bietet eine formale Sprache, um mathematische Definitionen, ausführbare Algorithmen und Theorems zusammen mit einem Umfeld zur halb interaktiven Entwicklung maschinengeprüfter Nachweise zu schreiben. Typische Anwendungen umfassen die Formalisierung der Programmiersprachen Semantik, die Formalisierung der Mathematik und des Unterrichts. Teile deine Erfahrung: Schreiben Sie eine Bewertung zu diesem Programm

Checken Zugehörige Software