هذا هو الأمر ladr_to_tptp الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
تطبيقات ladr4 - تطبيقات LADR4 غير الموثقة
الوصف
بعض البرامج في تطبيقات ladr4 الحزمة ليس لديها صفحات دليل حاليا. يمكنك الحصول عليها
توثيق بعض هذه التطبيقات عبر الأمثال 9 دليل ، وهو متاح في
أنظمة دبيان عبر الحزمة Prover9-doc، في
/usr/share/doc/prover9-doc/manual/index.html. بدلاً من ذلك ، استدعاء التطبيق باستخدام
القادم -مساعدة الخيار قد تنتج الوثائق. نرحب بالتصحيحات لإضافة صفحات يدوية ، و
يمكن إرسالها إلى مشرف صيانة حزم دبيان ، والتي ترد تفاصيلها أدناه.
استخدم ladr_to_tptp عبر الإنترنت باستخدام خدمات onworks.net
