این دستور tptp_to_ladr است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
ladr4-apps - برنامه های بدون سند LADR4
شرح
برخی از برنامه ها در ladr4-apps بسته در حال حاضر هیچ صفحه دستی ندارد. می توانید بدست آورید
اسناد برخی از این برنامه ها از طریق اثبات 9 کتابچه راهنمای کاربر، که در دسترس است
سیستم های دبیان از طریق بسته prover9-doc، در
/usr/share/doc/prover9-doc/manual/index.html. یا فراخوانی برنامه با
la -کمک گزینه ممکن است مستندات تولید کند. وصله برای اضافه کردن صفحات دستی خوش آمدید، و
ممکن است به نگهدارنده بسته Debian ارسال شود که جزئیات آن در زیر ذکر شده است.
از tptp_to_ladr به صورت آنلاین با استفاده از خدمات onworks.net استفاده کنید
