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