این مینیسکوپ فرمانی است که می تواند در ارائه دهنده هاست رایگان 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 ارسال شود که جزئیات آن در زیر ذکر شده است.
با استفاده از خدمات onworks.net به صورت آنلاین از مینیسکوپ استفاده کنید
