মিনিস্কোপ - ক্লাউডে অনলাইন

কার্যক্রম:

NAME এর

ladr4-apps - অনথিভুক্ত LADR4 অ্যাপ্লিকেশন

বর্ণনাঃ

মধ্যে কিছু প্রোগ্রাম ladr4-অ্যাপস প্যাকেজের বর্তমানে কোনো ম্যানুয়াল পৃষ্ঠা নেই। আপনি পেতে পারেন
এর মাধ্যমে এই অ্যাপ্লিকেশনগুলির কিছু ডকুমেন্টেশন prover9 ম্যানুয়াল, যা পাওয়া যায়
প্যাকেজের মাধ্যমে ডেবিয়ান সিস্টেম prover9-ডক, এ সময়ে
/usr/share/doc/prover9-doc/manual/index.html. বিকল্পভাবে সঙ্গে আবেদন আহ্বান
দ্য -হেল্প বিকল্প ডকুমেন্টেশন তৈরি করতে পারে। ম্যানুয়াল পেজ যোগ করার জন্য প্যাচ স্বাগত জানাই, এবং
ডেবিয়ান প্যাকেজ রক্ষণাবেক্ষণকারীর কাছে পাঠানো হতে পারে, যার বিবরণ নীচে তালিকাভুক্ত করা হয়েছে।

onworks.net পরিষেবা ব্যবহার করে অনলাইনে মিনিস্কোপ ব্যবহার করুন