Datei:Coq 8.5 stdlib proof.png
Zur Navigation springen
Zur Suche springen
Größe dieser Vorschau: 800 × 500 Pixel. Weitere Auflösungen: 320 × 200 Pixel | 640 × 400 Pixel | 1.024 × 640 Pixel | 1.280 × 800 Pixel
Originaldatei (1.280 × 800 Pixel, Dateigröße: 94 KB, MIME-Typ: image/png)
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
---|---|---|---|---|---|
aktuell | 00:23, 17. Feb. 2016 | 1.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... |
Dateiverwendung
Die folgende Seite verwendet diese Datei:
Globale Dateiverwendung
Die nachfolgenden anderen Wikis verwenden diese Datei:
- 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