هذا هو تطبيق Linux المسمى Agda 1 والذي يمكن تنزيل أحدث إصدار له كـ agda-1.0.2-macosx-ppc.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى Agda 1 عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
أجدا 1
Ad
الوصف
Agda هو نظام لتطوير البراهين والبرامج بشكل تدريجي. هذا هو مشروع Sourceforge لـ PREVIOUS Agda (Agda 1). يتوفر إصدار أحدث من Agda (Agda 2) في الاختبار التجريبي من: http://wiki.portal.chalmers.se/agda/
الجمهور
المطورين ، التعليم ، العلوم / البحث
واجهة المستخدم
وحدة التحكم / المحطة ، نظام نافذة X (X11)
لغة البرمجة
هاسكل
يمكن أيضًا جلب هذا التطبيق من https://sourceforge.net/projects/agda/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.