এটি হল tptp_to_ladr কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
ladr4-apps - অনথিভুক্ত LADR4 অ্যাপ্লিকেশন
বর্ণনাঃ
মধ্যে কিছু প্রোগ্রাম ladr4-অ্যাপস প্যাকেজের বর্তমানে কোনো ম্যানুয়াল পৃষ্ঠা নেই। আপনি পেতে পারেন
এর মাধ্যমে এই অ্যাপ্লিকেশনগুলির কিছু ডকুমেন্টেশন prover9 ম্যানুয়াল, যা পাওয়া যায়
প্যাকেজের মাধ্যমে ডেবিয়ান সিস্টেম prover9-ডক, এ সময়ে
/usr/share/doc/prover9-doc/manual/index.html. বিকল্পভাবে সঙ্গে আবেদন আহ্বান
দ্য -হেল্প বিকল্প ডকুমেন্টেশন তৈরি করতে পারে। ম্যানুয়াল পেজ যোগ করার জন্য প্যাচ স্বাগত জানাই, এবং
ডেবিয়ান প্যাকেজ রক্ষণাবেক্ষণকারীর কাছে পাঠানো হতে পারে, যার বিবরণ নীচে তালিকাভুক্ত করা হয়েছে।
onworks.net পরিষেবা ব্যবহার করে অনলাইনে tptp_to_ladr ব্যবহার করুন
