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