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