ملف:Agda proof.jpg

الملف الأصلي ‏(2٬653 × 1٬764 بكسل حجم الملف: 555 كيلوبايت، نوع MIME: image/jpeg)

وصف قصير

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.
Date 2007-04-26
Source Own work
Author Alexandre Buisse (Nattfodd)

ترخيص


I, Nattfodd, the copyright holder of this work, hereby publishes it under the following licenses:
GFDL
يسمح بنسخ و توزيع و/أو تعديل هذا المستند وفق شروط رخصة الوثائق الحرة (جنو) إصدار 1.2 أو أي إصدار أحدث المنشورة من قبل مؤسسة البرمجيات الحرة بدون أقسام ثابته و نصوص الغلاف الأمامي و الخلفي.
قالب:Cc-by-sa-3.0-migrated قالب:Cc-by-sa-2.5,2.0,1.0
[You may select the license of your choice.] Error: {{Lang}}: text has italic markup (help)

تاريخ الملف

اضغط على زمن/تاريخ لرؤية الملف كما بدا في هذا الزمن.

زمن/تاريخصورة مصغرةالأبعادمستخدمتعليق
حالي ★ مراجعة معتمدة
07:51، 16 يناير 2024		تصغير للنسخة بتاريخ 07:51، 16 يناير 20242٬653 × 1٬764 (555 كيلوبايت)Pastakhov (نقاش | مساهمات)Upload https://upload.wikimedia.org/wikipedia/commons/1/10/Agda_proof.jpg

لا يمكنك استبدال هذا الملف.

لا يوجد صفحات تصل لهذه الصورة.

معلومات الصورة (ميتا)

هذا الملف يحتوي معلومات إضافية، غالبا ما تكون أضيفت من قبل آلة التصوير الإلكترونية أو الماسح الضوئي المستخدم في تحميل الصورة إلى الحاسوب. إذا كان الملف قد عُدّل عما كان عليه عند تحميل الصورة فإن المعلومات الواردة هنا قد لا تعبر عن هذه الصورة المعدلة.

تمّ الاسترجاع من "https://www.marefa.org/w/index.php?title=ملف:Agda_proof.jpg&oldid=3893794"