پرونده:Agda proof.jpg
اندازهٔ این پیش‌نمایش: ۸۰۰ × ۵۳۲ پیکسل. کیفیت‌های دیگر: ۳۲۰ × ۲۱۳ پیکسل | ۶۴۰ × ۴۲۶ پیکسل | ۱٬۰۲۴ × ۶۸۱ پیکسل | ۱٬۲۸۰ × ۸۵۱ پیکسل | ۲٬۶۵۳ × ۱٬۷۶۴ پیکسل.
پروندهٔ اصلی (۲٬۶۵۳ × ۱٬۷۶۴ پیکسل، اندازهٔ پرونده: ۵۵۵ کیلوبایت، نوع 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، صاحب حقوق قانونی این اثر، به این وسیله این اثر را تحث اجازه‌نامه‌های ذیل منتشر می‌کند:
|
اجازهٔ کپی، پخش و/یا تغییر این سند تحت شرایط مجوز مستندات آزاد گنو، نسخهٔ ۱٫۲ یا هر نسخهٔ بعدتری که توسط بنیاد نرم‌افزار آزاد منتشر شده؛ بدون بخش‌های ناوردا (نامتغیر)، متون روی جلد، و متون پشت جلد، اعطا می‌شود. یک کپی از مجوز در بخشی تحت عنوان مجوز مستندات آزاد گنو ضمیمه شده است. |
  
|
این پرونده با اجازه‌نامهٔ کریتیو کامانز Attribution-Share Alike 3.0 سازگار نشده منتشر شده است. | |
| انتساب: I, Nattfodd | ||
| ||
| این برچسب مجوز به‌عنوان بخشی از روزآمدسازی مجوز GFDL، به این پرونده افزوده شد. |
این پرونده با اجازه‌نامهٔ کریتیو کامانز Attribution-Share Alike 2.5 عمومی، 2.0 عمومی و 1.0 عمومی منتشر شده است.
انتساب: I, Nattfodd
- شما اجازه دارید:
- برای به اشتراک گذاشتن – برای کپی، توزیع و انتقال اثر
- تلفیق کردن – برای انطباق اثر
- تحت شرایط زیر:
- انتساب – شما باید اعتبار مربوطه را به دست آورید، پیوندی به مجوز ارائه دهید و نشان دهید که آیا تغییرات ایجاد شده‌اند یا خیر. شما ممکن است این کار را به هر روش منطقی انجام دهید، اما نه به هر شیوه‌ای که پیشنهاد می‌کند که مجوزدهنده از شما یا استفاده‌تان حمایت کند.
- انتشار مشابه – اگر این اثر را تلفیق یا تبدیل می‌کنید، یا بر پایه آن اثری دیگر خلق می‌کنید، می‌‌بایست مشارکت‌های خود را تحت مجوز یکسان یا مشابه با ا اصل آن توزیع کنید.
می‌توانید مجوز دلخواه خود را برگزینید.
تاریخچهٔ پرونده
روی تاریخ/زمان‌ها کلیک کنید تا نسخهٔ مربوط به آن هنگام را ببینید.
| تاریخ/زمان | بندانگشتی | ابعاد | کاربر | توضیح | |
|---|---|---|---|---|---|
| کنونی | ۱۸ ژوئن ۲۰۰۷، ساعت ۱۶:۴۱ | | ۲٬۶۵۳ در ۱٬۷۶۴ (۵۵۵ کیلوبایت) | 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
- کاربرد در ja.wikipedia.org
- کاربرد در pl.wikipedia.org
- کاربرد در pt.wikipedia.org
- کاربرد در tr.wikipedia.org
- کاربرد در uk.wikipedia.org
- کاربرد در ur.wikipedia.org
- کاربرد در www.wikidata.org
- کاربرد در zh.wikipedia.org
