Файл:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
Перейти к навигации
Перейти к поиску
Размер этого предпросмотра: 800 × 579 пкс. Другие разрешения: 320 × 231 пкс | 640 × 463 пкс | 1016 × 735 пкс.
Исходный файл (1016 × 735 пкс, размер файла: 74 КБ, MIME-тип: image/png)
История файла
Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент.
Дата/время | Миниатюра | Размеры | Участник | Примечание | |
---|---|---|---|---|---|
текущий | 21:43, 9 февраля 2010 | 1016 × 735 (74 КБ) | Roconnor | {{Information |Description={{en|1=A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers.}} |Source={{own}} |Author=Roconnor |Date=2009-08-19 |Permission= |other_versions= |
Использование файла
Следующая страница использует этот файл:
Глобальное использование файла
Данный файл используется в следующих вики:
- Использование в el.wikipedia.org
- Использование в en.wikipedia.org
- Использование в et.wikipedia.org
- Использование в fr.wikipedia.org
- Использование в ja.wikipedia.org
- Использование в zh.wikipedia.org