Plik:Coq 8.5 stdlib proof.png
Rozmiar podglądu – 800 × 500 pikseli. Inne rozdzielczości: 320 × 200 pikseli | 640 × 400 pikseli | 1024 × 640 pikseli | 1280 × 800 pikseli.
Rozmiar pierwotny (1280 × 800 pikseli, rozmiar pliku: 94 KB, typ MIME: image/png)
Historia pliku
Kliknij na datę/czas, aby zobaczyć, jak plik wyglądał w tym czasie.
Data i czas | Miniatura | Wymiary | Użytkownik | Opis | |
---|---|---|---|---|---|
aktualny | 00:23, 17 lut 2016 | 1280 × 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... |
Lokalne wykorzystanie pliku
Poniższa strona korzysta z tego pliku:
Globalne wykorzystanie pliku
Ten plik jest wykorzystywany także w innych projektach wiki:
- Wykorzystanie na de.wikipedia.org
- Wykorzystanie na en.wikipedia.org
- Wykorzystanie na ru.wikipedia.org
- Wykorzystanie na uk.wikipedia.org
- Wykorzystanie na www.wikidata.org