শীর্ষ সফটওয়্যার জন্য Achim D. Brucker

IsaMorph ইন্টারেক্টিভ উপপাদ্য prover ইসাবেল সমন্বিত (Morphix উপর ভিত্তি করে) একটি লিনাক্স ডিস্ট্রিবিউশন লাইভ সিডি.এই কমান্ডের সাহায্যে আপনি সিডি থেকে বুট এবং গনুহ / লিনাক্স বা ইসাবেল ইনস্টল ছাড়াই একটি পুরোপুরি কর্মক্ষম "উপপাদ্য প্রতিপাদন" পরিবেশ পেতে...