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