IsaMorph ইন্টারেক্টিভ উপপাদ্য prover ইসাবেল সমন্বিত (Morphix উপর ভিত্তি করে) একটি লিনাক্স ডিস্ট্রিবিউশন লাইভ সিডি.
এই কমান্ডের সাহায্যে আপনি সিডি থেকে বুট এবং গনুহ / লিনাক্স বা ইসাবেল ইনস্টল ছাড়াই একটি পুরোপুরি কর্মক্ষম "উপপাদ্য প্রতিপাদন" পরিবেশ পেতে পারেন, মানে. শুধু আপনার পিসিতে সিডি ঢুকিয়ে আপনার প্রথম উপপাদ্য প্রমাণিত পাঁচ মিনিট পরে আছে.
IsaMorph মধ্যে বিতরণ করা সমস্ত প্রোগ্রাম বিনামূল্যে সফ্টওয়্যার. এই অপারেটিং সিস্টেম এবং এই সিডি অন্তর্ভুক্ত অ্যাপ্লিকেশন অবাধে, কপি পরিবর্তন এবং বিতরণ করা যেতে পারে এর মানে হল যে. তাই আপনার বন্ধু বা সহকর্মীদের কপি দিতে বিনা দ্বিধায় দয়া করে.
একটি ইন্টেল কমপ্যাটিবল পিসি বা ল্যাপটপে সিডি ড্রাইভে সিডি প্রবেশ করান. এখন কম্পিউটার পুনরায় বুট করুন. প্রথম বুট ডিভাইস সিডি হয় তা নিশ্চিত. এই জন্য, আপনি আপনার কম্পিউটার এর BIOS- র বৈশিষ্ট্যাবলী পরিবর্তন করতে হতে পারে.
আপনি এটি দিয়ে পরিচিত না হন, তাহলে আপনার সিস্টেম অ্যাডমিনস্ট্রেটরের সঙ্গে বা এটা কিভাবে করবেন জানেন এমন কারো কাছ থেকে পেতে. কম্পিউটার বুট শুরু হয়, এটা ড্রাইভে কোনো CD জন্য অনুসন্ধান করা হবে. একটি মেনু কিছু সময় পরে প্রদর্শিত হবে.
শুধু এন্টার কি টিপুন বা কিছু সময়ের জন্য অপেক্ষা টিপুন. কম্পিউটার সিডি থেকে বুট করে, আশা করছি, আপনি আপনার সাথে পরিচিত হয়ে থাকবেন কি অনুরূপ একটি গ্রাফিকাল পর্দা দিতে চলতে থাকবে. তবে উপরের বামদিকের মেনুতে ক্লিক করুন এবং অ্যাপ্লিকেশন শুরু করতে পারেন.
IsaMorph প্রতিপাদন এবং নথি প্রজন্ম সমর্থনকারী একটি সম্পূর্ণরূপে কাজ ইসাবেল পরিবেশ রয়েছে, এর মধ্যে রয়েছে:
ইসাবেল (সংস্করণ 2005)
সংকলিত অন্তত নিম্নলিখিত ন্যায়শাস্ত্র সঙ্গে ইন্টারেক্টিভ উপপাদ্য prover ইসাবেল 2005: Hol, Hol-কমপ্লেক্স, ZF, Fol, এবং বিশুদ্ধ. সুতরাং, IsaMorph বুট করার পরে আপনি অবিলম্বে এই ন্যায়শাস্ত্র কোনো উপপাদ্য প্রমাণ করতে পারেন. সিডি ইসাবেল এর টিউটোরিয়াল এবং তত্ত্ব ডকুমেন্টেশন একটি অফলাইন সংস্করণ অন্তর্ভুক্ত করা হয়েছে.
Hol-TestGen (সংস্করণ 1.1.1)
স্পেসিফিকেশন ভিত্তিক ইউনিট পরীক্ষার জন্য একটি পরীক্ষা ক্ষেত্রে জেনারেটর. এটা specfication এবং উপপাদ্য প্রতিপাদন পরিবেশ ইসাবেল / Hol উপরে নির্মিত হয়.
প্রুফ জেনারেল (সংস্করণ 3.6pre)
ইসাবেল জন্য একটি শক্তিশালী ইউজার ইন্টারফেস.
নিউ জার্সি SML (সংস্করণ 110.56)
স্ট্যান্ডার্ড এমএল পরিবেশ কম্পাইল এবং Isabelle নির্বাহ জন্য ব্যবহৃত.
গনুহ Emacs (সংস্করণ 22.0.50)
প্রুফ সাধারণ ইসাবেল প্রধান ইউজার ইন্টারফেসের সাথে একসাথে তৈরী করে যা গনুহ Emacs এডিটর.
teTeX (সংস্করণ 2.0.2)
প্রমাণ নথি প্রজন্মের জন্য ব্যবহৃত একটি সম্পূর্ণ ক্ষীর পরিবেশ.
অন্যান্য অ্যাপ্লিকেশন
উপরন্তু, সিডি একটি সাধারণ ব্যবহারের জন্য অ্যাপ্লিকেশনের বিভিন্ন রয়েছে. তাই একটি ব্যবহারকারী বান্ধব ডেস্কটপ (, Gnome) একটি ইন্টারনেট ব্রাউজার (মজিলা), এবং অন্তর্ভুক্ত করা হয়েছে. শুধু আরো অনেক খুঁজে বের করতে মেনু কটাক্ষপাত করা. আমি ডাউনলোডের সাইজ কমানোর জন্য অ ইসাবেল নির্দিষ্ট সফটওয়্যার সংখ্যা কমানোর জন্য চেষ্টা.
বর্তমান রিলিজের মধ্যে নতুন কী:
পাওয়া মন্তব্যসমূহ না