File:Coq 8.5 stdlib proof.png
![File:Coq 8.5 stdlib proof.png](https://upload.wikimedia.org/wikipedia/commons/thumb/7/74/Coq_8.5_stdlib_proof.png/800px-Coq_8.5_stdlib_proof.png?20160216222326)
Originaldatei (1.280 × 800 Pixel, Dateigröße: 94 KB, MIME-Typ: image/png)
Bildtexte
Kurzbeschreibungen
BeschreibungCoq 8.5 stdlib proof.png |
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:
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. العربية ∙ български ∙ català ∙ čeština ∙ kaszëbsczi ∙ Deutsch ∙ Ελληνικά ∙ English ∙ British English ∙ Esperanto ∙ español ∙ فارسی ∙ suomi ∙ français ∙ galego ∙ עברית ∙ magyar ∙ Bahasa Indonesia ∙ italiano ∙ 日本語 ∙ 한국어 ∙ македонски ∙ മലയാളം ∙ Bahasa Melayu ∙ norsk bokmål ∙ Nederlands ∙ norsk ∙ polski ∙ português ∙ português do Brasil ∙ română ∙ русский ∙ sicilianu ∙ slovenčina ∙ slovenščina ∙ Simple English ∙ svenska ∙ தமிழ் ∙ ไทย ∙ Türkçe ∙ українська ∙ 简体中文 ∙ 繁體中文 ∙ +/−
|
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
---|---|---|---|---|---|
aktuell | 22:23, 16. Feb. 2016 | ![]() | 1.280 × 800 (94 KB) | Matěj Grabovský (Diskussion | Beiträge) | {{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... |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Die folgende Seite verwendet diese Datei:
Globale Dateiverwendung
Die nachfolgenden anderen Wikis verwenden diese Datei:
- Verwendung auf de.wikipedia.org
- Verwendung auf en.wikipedia.org
- Verwendung auf pl.wikipedia.org
- Verwendung auf ru.wikipedia.org
- Verwendung auf uk.wikipedia.org
- Verwendung auf www.wikidata.org
Metadaten
Diese Datei enthält weitere Informationen, die in der Regel von der Digitalkamera oder dem verwendeten Scanner stammen. Durch nachträgliche Bearbeitung der Originaldatei können einige Details verändert worden sein.
Software |
---|