Coq
Coq 8.4 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist.
Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind. Der eigentliche Entwickler dieses kostenlosen Programms ist Coq Development Team.
Die unter den Benutzerinnen und Benutzern dieser Software beliebtesten Versionen sind 8.4 und 8.2. Coq gehört zur Kategorie "Programmierung" und Unterkategorie "IDE". Coqide.exe und coqtop.exe sind die gebräuchlichsten Installationsdateinamen für dieses Programm. Coq wurde für die 32-Bit-Versionen der Windows XP/Vista/7/8/10/11-Umgebung entwickelt.
Vom Entwickler:
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Dairy Management System oder System Restore Manager informieren, die für Coq relevant sein können.
Entdecken Sie FDM
Add-on-Unterstützung
Sie können Add-ons erhalten, die Dateien/Videos von beliebigen Websites herunterladen.
Kommentare
Bitte hinterlasst einen Kommentar und begründent eure Wahl.