Veröffentlichungen
Mai 2020
So Mo Di Mi Do Fr Sa
    12
3456789
10111213141516
17181920212223
24252627282930
31 
DBApp-Suche
Erweiterte Suche

Application datasets: 20703 Version datasets: 149197
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.
 
Neue Version melden
Version
Zweig
Sollte der von Ihnen angedachte Zweig nicht in unserer Liste aufgelistet sein, so tragen Sie bitte unter Zweig (Andere) eine neue Entwicklungslinie (Branch) ein.
Zweig (Andere)
Änderungen