هذا هو الأمر prover9-mace4 الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
Prover9-mace4 - واجهة إثبات النظرية الرسومية لـ Prover9 وMace4
موجز
Prover9-Mace4
الوصف
توثق صفحة الدليل هذه بإيجاز ملف Prover9-Mace4 أمر.
Prover9-Mace4 هي واجهة مستخدم رسومية (GUI) لـ الأمثال 9(1) مبرهن النظرية و
mace4(1) مولد النموذج المضاد.
الاستعمال
تعليمات الاستخدام يمكن العثور عليها داخل البرنامج عبر المساعدة القائمة.
استخدم prover9-mace4 عبر الإنترنت باستخدام خدمات onworks.net