Повна роздільність(1280 × 800 пікселів, розмір файлу: 94 КБ, MIME-тип: image/png)

Wikimedia Commons logo Відомості про цей файл містяться на Вікісховищі — централізованому сховищі вільних файлів мультимедіа для використання у проектах Фонду Вікімедіа.
Опис
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
Ліцензія
(Повторне використання цього файлу)

Цей знімок екрану або не містить частин чи візуальних складових захищеного авторським правом програмного забезпечення, що підлягають захисту, або автор поширює його під вільною ліцензією (яка має бути вказана нижче), і таким чином відповідає настановам щодо ліцензування скріншотів у Вікісховищі. Ви можете вільно використовувати його згідно з цією ліцензією. Вільна ліцензія програмного забезпечення:

GNU head Ця бібліотека є вільним програмним забезпеченням, ви можете вільно поширювати та/або змінювати його відповідно до умов GNU Lesser General Public License, що опублікована Фондом вільного програмного забезпечення; або версії 2.1, або (на Ваш розсуд) будь-якої пізнішої версії. Дана робота розповсюджується з надією, що вона буде корисною, але без будь-яких гарантій, зокрема без непрямої гарантії товарної придатності або придатності для конкретних цілей. Дивіться версію 2.1 та версію 3 GNU Lesser General Public License для більш докладної інформації.

Примітка: якщо на знімку екрана показано будь-яку роботу, котра не є прямим результатом коду самої програми, як-то текст чи графіка, що не є частиною програми, ліцензія на цей твір повинна бути вказана окремо.


Підписи

Додайте однорядкове пояснення, що саме репрезентує цей файл

Об'єкти, показані на цьому файлі

зображує

96 372 байт

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...

Така сторінка використовує цей файл:

Глобальне використання файлу

Цей файл використовують такі інші вікі:

Метадані