Файл:Coq 8.5 stdlib proof.png — Вікіпедія
![Файл:Coq 8.5 stdlib proof.png](http://upload.wikimedia.org/wikipedia/commons/thumb/7/74/Coq_8.5_stdlib_proof.png/800px-Coq_8.5_stdlib_proof.png)
Розмір при попередньому перегляді: 800 × 500 пікселів. Інші роздільності: 320 × 200 пікселів | 640 × 400 пікселів | 1024 × 640 пікселів | 1280 × 800 пікселів.
Повна роздільність (1280 × 800 пікселів, розмір файлу: 94 КБ, MIME-тип: image/png)
Історія файлу
Клацніть на дату/час, щоб переглянути, як тоді виглядав файл.
Дата/час | Мініатюра | Розмір об'єкта | Користувач | Коментар | |
---|---|---|---|---|---|
поточний | 22:23, 16 лютого 2016 | ![]() | 1280 × 800 (94 КБ) | 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... |
Використання файлу
Така сторінка використовує цей файл:
Глобальне використання файлу
Цей файл використовують такі інші вікі:
- Використання в de.wikipedia.org
- Використання в en.wikipedia.org
- Використання в pl.wikipedia.org
- Використання в ru.wikipedia.org
- Використання в www.wikidata.org