هذا هو الأمر jessie الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
لماذا - أداة تحقق متعددة اللغات متعددة الأمثال
موجز
لماذا [ الخيارات ] ملفات
الوصف
لماذا هي أداة تحقق. يأخذ البرامج المشروحة كمدخلات (في بناء جملة ML أو C) و
شروط التحقق من المخرجات للعديد من مساعدي الإثبات (Coq و PVS و HOL Light و Mizar)
وإجراءات اتخاذ القرار (haRVey ، تبسيط).
OPTIONS
-h يساعد. سيعطيك القائمة الكاملة لخيارات سطر الأوامر.
مؤلفون
جان كريستوف فيلياتر <filliatr@lri.fr>
استخدم jessie عبر الإنترنت باستخدام خدمات onworks.net
