این دستور Why-dp است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
چرا - یک ابزار تأیید چند زبانه چند پروور
خلاصه
چرا [ گزینه های ] فایل ها
شرح
چرا یک ابزار تأیید است. برنامه های حاشیه نویسی را به عنوان ورودی می گیرد (در نحو ML یا C) و
شرایط تأیید خروجی برای چندین دستیار اثبات (Coq، PVS، HOL Light، Mizar)
و رویه های تصمیم گیری (haRVey، Simplify).
OPTIONS
-h کمک. لیست کاملی از گزینه های خط فرمان را در اختیار شما قرار می دهد.
AUTHORS
ژان کریستف فیلیتر <[ایمیل محافظت شده]>
با استفاده از خدمات onworks.net از Why-dp آنلاین استفاده کنید
