Veröffentlichungen
Juni 2020
So Mo Di Mi Do Fr Sa
123456
78910111213
14151617181920
21222324252627
282930 
DBApp-Suche
Erweiterte Suche

Application datasets: 20716 Version datasets: 149403
DBApp v1.06
Copyright © demon
Werbung
Programm-Informationen
Applikation:Coq
Version(en):
  Hauptzweig8.4pl4
Lizenz:GNU Lesser General Public License (LGPL)
Homepage:http://coq.inria.fr/
Kategorie:Konsole
Beschreibung:
Das Programm Coq ist ein Beweis-Assistent, der algebraische Sätze behandeln, Beweise mit diesen Sätzen prüfen und ein zertifiziertes Programm aus dem konstruktiven Beweis seiner formalen Spezifikation extrahieren kann.
 
Weitere Informationen
Programmiersprache:Keine Angaben
Betriebsysteme:
Zielgruppe:
 
Neue Version melden
Neue Homepage melden
Neue Beschreibung
Lizenzänderung
Kategorie-Änderung
"Weitere Informationen" ändern
Weitere Anmerkungen