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

Файл:Coq 8.5 stdlib proof.png

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

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

Описание
English: 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 the top right pane indicates the current state of the proof – the goals to be proved, currently focused goal and hypotheses in context. The opened file is part of the standard library of mathematical theories of the software.
Дата
Источник Own work (Matěj Grabovský)
Автор INRIA
Права
(
Повторное использование этого файла
)

Этот скриншот либо не содержит части или визуальные элементы программы, защищённой

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

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

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

العربية ∙ български ∙ català ∙ čeština ∙ kaszëbsczi ∙ dansk ∙ Deutsch ∙ Ελληνικά ∙ English ∙ British English ∙ Esperanto ∙ español ∙ فارسی ∙ suomi ∙ français ∙ galego ∙ עברית ∙ हिन्दी ∙ magyar ∙ Bahasa Indonesia ∙ italiano ∙ 日本語 ∙ 한국어 ∙ македонски ∙ മലയാളം ∙ Bahasa Melayu ∙ norsk bokmål ∙ Nederlands ∙ norsk ∙ polski ∙ português ∙ português do Brasil ∙ română ∙ русский ∙ sicilianu ∙ Simple English ∙ slovenčina ∙ slovenščina ∙ svenska ∙ தமிழ் ∙ ไทย ∙ Türkçe ∙ українська ∙ Tiếng Việt ∙ 中文 ∙ 中文（简体） ∙ 中文（繁體） ∙ 中文（臺灣） ∙ +/−

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

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

MIME-тип

image/png

высота/рост

800 пиксель

ширина

1280 пиксель

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

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

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий22:23, 16 февраля 2016Миниатюра для версии от 22:23, 16 февраля 20161280 × 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...

Следующая страница использует этот файл:

Глобальное использование файла

Данный файл используется в следующих вики:

Метаданные

Файл содержит дополнительные данные, обычно добавляемые цифровыми камерами или сканерами. Если файл после создания редактировался, то некоторые параметры могут не соответствовать текущему изображению.

Источник — https://ru.wikipedia.org/wiki/Файл:Coq_8.5_stdlib_proof.png