هذا هو تطبيق Linux المسمى Lambda Tamer ليتم تشغيله في Linux عبر الإنترنت ويمكن تنزيل أحدث إصدار له كـ ltamer-20091106.tgz. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى Lambda Tamer عبر الإنترنت للتشغيل في Linux عبر الإنترنت باستخدام OnWorks مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 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. قم بتنزيل التطبيق وتثبيته وتشغيله.
Lambda Tamer للتشغيل في لينكس اون لاين
Ad
الوصف
مجموعة من الأدوات لإضفاء الطابع الرسمي على لغات البرمجة والمترجمات ، استنادًا إلى مساعد إثبات Coqالجمهور
المطورين ، العلوم / البحث
لغة البرمجة
OCaml (الجمل الموضوعي)
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/ltamer/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
