Veröffentlichungen
März 2015
So Mo Di Mi Do Fr Sa
1234567
891011121314
15161718192021
22232425262728
293031 
DBApp-Suche

Application datasets: 19659 Version datasets: 131754
DBApp v1.06
Copyright © demon
Werbung
  Coq

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. (non)


 

Homepage: http://coq.inria.fr/
Rating:
Lizenz: GNU Lesser General Public License (LGPL)
Kategorie: Konsole

ChangeLog:
http://coq.inria.fr/distrib/current/CHANGES 
 

.: Hauptzweig
2014-06-13  8.4pl4  Geringfügige Korrekturen  mehr...  
 
  Angaben ändern   Neue Version melden