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

فاویکون OnWorks

coqwc - آنلاین در ابر

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

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

برنامه:

نام


coqwc - چاپ تعداد مشخصات، اثبات و خطوط نظر در فایل های Coq

خلاصه


coqwc [ -p ] [ -s ] [ -r ] [ -e ] فایل ها ...

شرح


coqwc تعداد خطوط مشخصات، خطوط اثبات و خطوط نظر را در Coq محاسبه می کند
فایل های.

OPTIONS


-p درصد نظرات را چاپ کنید

-s فقط تعداد خطوط مشخصات را چاپ کنید

-r فقط تعداد خطوط اثبات را چاپ کنید

-e از سرفصل ها رد نشوید

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


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

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

  • 1
    کد :: بلوک
    کد :: بلوک
    کد::Blocks یک منبع باز و رایگان است،
    کراس پلتفرم C، C++ و Fortran IDE
    ساخته شده برای پاسخگویی به بیشترین نیازها
    از کاربران آن بسیار طراحی شده است
    تمدید می کند ...
    کد دانلود::Blocks
  • 2
    در میان
    در میان
    در میان یا رابط پیشرفته Minecraft
    و Data/Structure Tracking ابزاری برای
    نمای کلی یک Minecraft را نمایش دهید
    جهان، بدون اینکه واقعاً آن را ایجاد کند. آی تی
    می توان ...
    دانلود در میان
  • 3
    MSYS2
    MSYS2
    MSYS2 مجموعه ای از ابزارها و
    کتابخانه ها به شما یک
    محیطی با کاربری آسان برای ساختمان،
    نصب و اجرای ویندوز بومی
    نرم افزار. باعث می شود ...
    MSYS2 را دانلود کنید
  • 4
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo یک کدک تصویر JPEG است
    که از دستورالعمل های SIMD (MMX، SSE2،
    NEON، AltiVec) برای تسریع خط پایه
    فشرده سازی JPEG و رفع فشرده سازی روشن است
    x86، x8...
    دانلود libjpeg-turbo
  • 5
    مدیر بارگیری Xtreme
    مدیر بارگیری Xtreme
    این پروژه اکنون یک خانه جدید دارد:
    https://xtremedownloadmanager.com/ For
    توسعه دهندگان:
    https://github.com/subhra74/xdm Xtreme
    دانلود منیجر ابزاری قدرتمند برای ...
    Xtreme Download Manager را دانلود کنید
  • 6
    TTGO VGA32 Lite
    TTGO VGA32 Lite
    ویژگی ها: 4:3 و 16:9 وضوح کم
    خروجی VGAPS/2 صفحه کلید و ماوس
    رابط کاربری مبتنی بر متن ورودی (TUI)
    با مدیر گفتگوی جزئی یونیکد
    پشتیبانی از Slave dis...
    دانلود TTGO VGA32 Lite
  • بیشتر "

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

Ad