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