انگلیسیفرانسویاسپانیایی

فاویکون OnWorks

coqchk.opt - آنلاین در ابر

coqchk.opt را در ارائه دهنده هاست رایگان OnWorks از طریق Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا کنید.

این دستور coqchk.opt است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.

برنامه:

نام


coqchk - تأییدکننده کتابخانه‌های Coq Proof Checker

خلاصه


کوکچک [ گزینه های ] ماژول ها

شرح


کوکچک جستجوگر مستقل کتابخانه های کامپایل شده (فایل های vo تولید شده توسط coqc) برای است
دستیار اثبات Coq. برای اطلاعات بیشتر به کتابچه راهنمای مرجع مراجعه کنید. با آن برمی گردد
در صورت موفقیت آمیز بودن تمام وظایف درخواستی، کد خروج 0 را از آن خارج کنید. کد بازگشتی غیر صفر به این معنی است
مشکلی پیش آمد: برخی از کتابخانه ها یافت نشد، محتوای خراب، بررسی نوع
شکست و غیره

ماژول ها لیستی از ماژول هایی است که باید بررسی شوند. ماژول ها را می توان با یک یا کوتاه اشاره کرد
نام واجد شرایط

OPTIONS


-I dir ، --عبارتند از دیر
اضافه کردن دایرکتوری دیر در مسیر شامل

-R دیر coqdir
نقشه فیزیکی بازگشتی دیر به منطقی coqdir

-بی صدا
کوکچک را کمتر پرحرف می کند.

-اقرار کردن واحد
ماژول مشخص شده و همه وابستگی های آن را به عنوان مورد اعتماد تگ کنید و نخواهد بود
دوباره بررسی شد، مگر اینکه به صراحت توسط گزینه های دیگر درخواست شده باشد.

-نورک واحد
مشخص می کند که ماژول داده شده باید بدون درخواست بررسی آن تأیید شود
وابستگی ها

-m، -- حافظه
خلاصه ای از حافظه استفاده شده توسط چک کننده را نمایش می دهد.

-و ، -- خروجی - زمینه
خلاصه ای از محتوای منطقی را نشان می دهد که تأیید شده است: فرضیات و
استفاده از غیر واقعی بودن

-مجموعه-محتمل
به جستجوگر اجازه می دهد تا کتابخانه هایی را که با این پرچم کامپایل شده اند بپذیرد.

-v نسخه coqchk را چاپ کنید و خارج شوید.

-کوقلیب دیر
مکان پیش فرض کتابخانه استاندارد را لغو می کند.

-جایی که چاپ محل کتابخانه استاندارد coqchk و خروج.

-h، --کمک
چاپ لیست گزینه ها

با استفاده از خدمات onworks.net از coqchk.opt به صورت آنلاین استفاده کنید


سرورها و ایستگاه های کاری رایگان

دانلود برنامه های ویندوز و لینوکس

  • 1
    Alt-F
    Alt-F
    Alt-F یک منبع باز و رایگان ارائه می دهد
    سیستم عامل جایگزین برای DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F دارای Samba و NFS است.
    پشتیبانی از ext2/3/4...
    Alt-F را دانلود کنید
  • 2
    اس ام اس
    اس ام اس
    Usm یک بسته نرم افزاری یکپارچه است
    مدیری که خودکار را مدیریت می کند
    حل وابستگی متحد می کند
    مخازن بسته های مختلف از جمله
    ظروف شلخته، سست، ص...
    usm را دانلود کنید
  • 3
    نمودار. js
    نمودار. js
    Chart.js یک کتابخانه جاوا اسکریپت است که
    به طراحان و توسعه دهندگان اجازه می دهد تا نقاشی کنند
    انواع نمودارها با استفاده از HTML5
    عنصر بوم Chart js عالی ارائه می دهد
    آرایه ...
    Chart.js را دانلود کنید
  • 4
    iReport-Designer برای JasperReports
    iReport-Designer برای JasperReports
    توجه: پشتیبانی از iReport/Jaspersoft Studio
    اطلاعیه: از نسخه 5.5.0،
    Jaspersoft Studio رسمی خواهد بود
    مشتری طراحی برای JasperReports. من گزارش میدم
    اراده...
    دانلود iReport-Designer برای JasperReports
  • 5
    PostInstallerF
    PostInstallerF
    PostInstallerF همه موارد را نصب می کند
    نرم افزار فدورا لینوکس و دیگران
    به طور پیش فرض شامل نمی شود، پس از
    اجرای فدورا برای اولین بار آن
    آسان برای ...
    PostInstallerF را دانلود کنید
  • 6
    تسمه
    تسمه
    پروژه strace منتقل شده است
    https://strace.io. strace is a
    تشخیصی، اشکال زدایی و آموزشی
    ردیاب فضای کاربران برای لینوکس. استفاده شده است
    برای نظارت بر یک ...
    دانلود strace
  • بیشتر "

دستورات لینوکس

Ad