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