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