Файл:Agda proof.jpg
Розмір при попередньому перегляді: 800 × 532 пікселів. Інші роздільності: 320 × 213 пікселів | 640 × 426 пікселів | 1024 × 681 пікселів | 1280 × 851 пікселів | 2653 × 1764 пікселів.
Повна роздільність (2653 × 1764 пікселів, розмір файлу: 555 КБ, MIME-тип: image/jpeg)
 | Відомості про цей файл містяться на Вікісховищі — централізованому сховищі вільних файлів мультимедіа для використання у проектах Фонду Вікімедіа. |
Опис файлу
| Опис | Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop. |
| Час створення | |
| Джерело | Власна робота |
| Автор | Alexandre Buisse (Nattfodd) |
Ліцензування
I, Nattfodd, власник авторських прав на цей твір, добровільно публікує його на умовах таких ліцензій:
 | Дозволяється копіювати, розповсюджувати та/або модифікувати цей документ на умовах ліцензії GNU FDL версії 1.2 або більш пізньої, виданої Фондом вільного програмного забезпечення, без незмінних розділів, без текстів, які розміщені на першій та останній обкладинці. Копія ліцензії знаходиться у розділі GNU Free Documentation License. |
   | Цей файл ліцензований на умовах Creative Commons Attribution-Share Alike 3.0 Unported | |
| Зазначення авторства: I, Nattfodd | ||
| ||
| Цей шаблон ліцензування був доданий до файлу в рамках оновлення ліцензії GFDL. |
Цей файл доступний на умовах ліцензій Creative Commons Attribution-Share Alike 2.5 Generic, 2.0 Generic та 1.0 Generic.
Зазначення авторства: I, Nattfodd
- Ви можете вільно:
- ділитися – копіювати, поширювати і передавати твір
- модифікувати – переробляти твір
- При дотриманні таких умов:
- зазначення авторства – Ви повинні вказати авторство, надати посилання на ліцензію і вказати, чи якісь зміни було внесено до оригінального твору. Ви можете зробити це в будь-який розсудливий спосіб, але так, щоб він жодним чином не натякав на те, наче ліцензіар підтримує Вас чи Ваш спосіб використання твору.
- поширення на тих же умовах – Якщо ви змінюєте, перетворюєте або створюєте іншу похідну роботу на основі цього твору, ви можете поширювати отриманий у результаті твір тільки на умовах такої ж або сумісної ліцензії.
Ви можете обрати ліцензію на ваш розсуд.
Історія файлу
Клацніть на дату/час, щоб переглянути, як тоді виглядав файл.
| Дата/час | Мініатюра | Розмір об'єкта | Користувач | Коментар | |
|---|---|---|---|---|---|
| поточний | 16:41, 18 червня 2007 | | 2653 × 1764 (555 КБ) | Nattfodd | {{Information |Description=Agda 2 is a proof assistant developed at the Chalmers institute of technology. This is a shot of an ongoing proof related to category theory. It is taken on the LCD screen of a laptop. |Source=self-made (http://aperturefirst.eff |
Використання файлу
Така сторінка використовує цей файл:
Глобальне використання файлу
Цей файл використовують такі інші вікі:
- Використання в el.wikipedia.org
- Використання в en.wikipedia.org
- Використання в es.wikipedia.org
- Використання в eu.wikipedia.org
- Використання в fa.wikipedia.org
- Використання в ja.wikipedia.org
- Використання в pl.wikipedia.org
- Використання в pt.wikipedia.org
- Використання в tr.wikipedia.org
- Використання в ur.wikipedia.org
- Використання в www.wikidata.org
- Використання в zh.wikipedia.org
