Zur Beschreibungsseite auf Commons

Datei:Coq 8.5 stdlib proof.png

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Originaldatei(1.280 × 800 Pixel, Dateigröße: 94 KB, MIME-Typ: image/png)

Diese Datei und die Informationen unter dem roten Trennstrich werden aus dem zentralen Medienarchiv Wikimedia Commons eingebunden.

Zur Beschreibungsseite auf Commons


Beschreibung
English: A screenshot of the w:Coq proof assistant (version 8.5) during the process of proving a property of the comparison operation on the natural numbers. The left pane displays the editable script of the proof, while the top right pane indicates the current state of the proof – the goals to be proved, currently focused goal and hypotheses in context. The opened file is part of the standard library of mathematical theories of the software.
Datum
Quelle Own work (Matěj Grabovský)
Urheber INRIA
Genehmigung
(Weiternutzung dieser Datei)

Dieses Bildschirmfoto enthält entweder keine sichtbaren Bereiche oder Teile einer kopiergeschützten Software, oder aber der Autor hat das Programm unter einer freien Lizenz (welche unter diesem Hinweis aufgeführt sein sollte) veröffentlicht, und folgt damit den Lizenz-Regeln der Wikimedia Commons. Das Bildschirmfoto kann entsprechend der genannten Lizenz frei genutzt werden. Freie Software-Lizenz:

GNU head Diese Bibliothek ist freie Software; sie darf weiterverteilt und/oder verändert werden unter der GNU Lesser General Public License, wie sie von der Free Software Foundation veröffentlicht wurde; dazu gelten die Bestimmungen der Version 2.1 oder (nach Wahl) einer späteren Version.

Diese Bibliothek wurde in der Hoffnung veröffentlicht, dass sie sich als nützlich erweisen könnte, jedoch ohne Garantie, auch ohne implizierte Garantie der Marktgängigkeit oder der Eignung zu einem bestimmten Zweck. Weitere Einzelheiten in der Version 2.1 und Version 3 der Lesser GNU General Public License.

Hinweis: Wenn das Bildschirmfoto eine Arbeit zeigt, die nicht direkt das Resultat des Programmcodes ist, so wie Texte oder Grafiken, muss die Lizenz für diese Arbeit separat benannt werden.


Kurzbeschreibungen

Ergänze eine einzeilige Erklärung, was diese Datei darstellt.

In dieser Datei abgebildete Objekte

Motiv

image/png

0508176065a4906432eba01bf7fec50584dc70ad

96.372 Byte

800 Pixel

1.280 Pixel

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomVorschaubildMaßeBenutzerKommentar
aktuell00:23, 17. Feb. 2016Vorschaubild der Version vom 00:23, 17. Feb. 20161.280 × 800 (94 KB)Matěj Grabovský{{Information | Description = {{en|A screenshot of the w:Coq proof assistant (version 8.5) during the process of proving a property of the comparison operation on the natural numbers. The left pane displays the editable script of the proof, while...

Die folgende Seite verwendet diese Datei:

Globale Dateiverwendung

Die nachfolgenden anderen Wikis verwenden diese Datei:

Metadaten