Файл: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
- Использование в uk.wikipedia.org
- Использование в www.wikidata.org