Перейти на страницу файла на Викискладе

Файл:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Исходный файл(1016 × 735 пкс, размер файла: 74 КБ, MIME-тип: image/png)

Краткое описание

Описание
English: A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers.
Дата
Источник Собственная работа
Автор Roconnor

Лицензирование

Coq

Этот скриншот либо не содержит части или визуальные элементы программы, защищённой авторским правом, либо автор опубликовал их под свободной лицензией (которая должна быть обозначена ниже этого уведомления), а также следует руководству по лицензированию Викисклада (Wikimedia Commons). Вы можете использовать его свободно согласно его собственной лицензии. Лицензия на свободное программное обеспечение:

GNU head Эта библиотека представляет собой свободное программное обеспечение; вы можете распространять и/или изменять его в соответствии с условиями GNU Lesser General Public License, опубликованной Free Software Foundation, версии 2.1 или (на ваш выбор) более поздней. Эта библиотека распространяется в надежде на то, что она будет полезна, но без какой-либо гарантии; в том числе, без подразумеваемых гарантий товарной пригодности или пригодности для конкретных целей. Подробнее см. версию 2.1 и версию 3 условий GNU Lesser General Public License.

Примечание: если скриншот показывает какое-нибудь произведение, которое не является непосредственно прямым результатом выполнения кода программы, вроде текста или графики, которая не является частью программы, лицензия для данного произведения должна быть указана отдельно.


Proof shown

Public domain Я, владелец авторских прав на это произведение, передаю его в общественное достояние. Это разрешение действует по всему миру.
В некоторых странах это не может быть возможно юридически, в таком случае:
Я даю право кому угодно использовать данное произведение в любых целях без каких-либо условий, за исключением таких условий, которые требуются по закону.

Краткие подписи

Добавьте однострочное описание того, что собой представляет этот файл
Toluphene

Элементы, изображённые на этом файле

изображённый объект

У этого свойства есть некоторое значение без элемента в

image/png

735 пиксель

1016 пиксель

История файла

Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент.

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий21:43, 9 февраля 2010Миниатюра для версии от 21:43, 9 февраля 20101016 × 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