Coq
Lizenz:Freeware
Downloads insgesamt:21
Betriebssystem:Windows XP / Vista / 7 / 8 / 10 / 11
Die neueste Version:8.4
Produktbeschreibung
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 XLogo oder Dairy Management System informieren, die für Coq relevant sein können.
Kommentare
Den Kommentarverlauf abonnierenBitte hinterlasst einen Kommentar und begründent eure Wahl.