isamorph Isamorph CD GNU / Linux Live (بر اساس Morphix) است ه شامل قضه تعامل Prover Asabelle است.
انون بارر ن

isamorph رتبه بند و خلاصه

isamorph برسب ها

لنوس سستم عامل توزع توزع لنوس لنوس راض IsaMorph

isamorph شرح

IsaMorph نو / لنوس س د زنده (بر اساس Morphix) شامل قضه تعامل prover ازابل است. IsaMorph توزع لنوس س د زنده (بر اساس Morphix) شامل Isabelle.This قضه prover تعامل وسله است، شما م تواند از س د بوت ند و به طور امل عملات "قضه اثبات" محط زست بدون نصب نو / لنوس ا ازابل. فقط قرار دادن س د در اموتر شما و نج دققه بعد برنامه proven.All اولن قضه خود را به توزع در IsaMorph نرم افزار آزاد هستند. ان بدان معن است ه سستم عامل و برنامه ها اربرد موجود در ان س د م تواند آزادانه ، وراش و توزع شده است. س لطفا احساس راان به نسخه به دوستان و ا colleagues.Insert خود را از س د را در دراو CD در PC سازار با انتل و ا ل تا است. در حال حاضر اموتر راه انداز مجدد. مطمئن شود ه دستاه بوت اول س د است. برا ان ار، شما ممن است مجبور به تغر تنظمات BIOS از computer.If خود شما با آن آشنا نست، م رفتن از مدر سستم و ا س ه م داند ونه آن را انجام دهد. به عنوان اموتر شروع م شود بوت شدن، آن را برا CD در دراو جستجو ند. منو بعد از مطبوعات time.Just لد و ا برا مدت صبر ند را وارد ند ظاهر م شود. در اموتر از س د به بوت ادامه خواهد داد و امدوارم، شما صفحه نماش راف شبه به آنه شما با آن آشنا هستند به من بدهد. شما م تواند در منو بالا سمت ل ند و شروع applications.IsaMorph شامل محط به طور امل ار ازابل حمات از اثبات و سند نسل، ان شامل: ازابل (نسخه 2005) prover قضه تعامل ازابل 2005 با حداقل منطق زر وارد شده در: HOL، HOL-مجتمع، ZF، FOL، و خالص است. بنابران، بعد از بوت شدن IsaMorph شما م تواند بلافاصله قضاا در هر از ان منطق اثبات ند. س د شامل نسخه آفلان از آموزش ها ازابل و مستندات نظره است. HOL-TestGen (نسخه 1.1.1) با آزماش نراتور مورد تست واحد مشخصات است. ان است ه در بالا specfication و قضه محط اثبات ازابل / HOL ساخته شده است. اثبات ل (نسخه 3.6pre) رابط اربر قدرتمند برا ازابل. SML از نوجرس (نسخه 110.56) استاندارد ML محط زست برا تدون و اجرا ازابل استفاده م شود. نو امس (نسخه 22.0.50) وراشر نو امس ه با هم م سازد با اثبات ل رابط اربر اصل ازابل. در teTeX (نسخه 2.0.2) محط لات امل مورد استفاده برا تولد اسناد اثبات. نرم افزار در علاوه بر ان، س د نز شامل انواع برنامه ها اربرد برا استفاده مشتر. ان شامل دستا اربر سند (نوم) مرورر انترنت (موزلا)، و غره. فقط ناه به منو را برا دا ردن بسار در. من سع ردم برا به حداقل رساندن تعداد از نرم افزار ها غر ازابل برا به حداقل رساندن جدد دانلود size.What را در ان نسخه: ان انتشار به روز رسان تمام نرم افزار بر رو س د، از جمله تمام آب و برق اه و همه ازابل نرم افزار ها مرتبط به خصوص، ان است ه اولن نسخه از جددترن نسخه ازابل (2005)، X-نماد (3.6pre)، و همنن HOL-TestGen (1.1.1).

isamorph نرم افزارها مرتبط