англійськафранцузькаіспанська

Значок OnWorks

coqc - онлайн у хмарі

Запустіть coqc у постачальника безкоштовного хостингу OnWorks через Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS

Це команда coqc, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS

ПРОГРАМА:

ІМ'Я


coqc - компілятор Coq Proof Assistant

СИНТАКСИС


coqc [ загальний кран опції ] файл

ОПИС


coqc є пакетним компілятором для Coq Proof Assistant. Варіанти в основному є
так само, як coqtop(1). файл.v є файлом для компіляції. файл має бути тільки сформований
із символами від `a` до `Z`, `0`-`9` або `_` і має починатися з літери. The
компілятор створює об'єктний файл file.vo.

Інтерактивне використання Coq див coqtop(1).

ВАРІАНТИ


coqc це скрипт, який просто запускається coqtop з опцією -компілювати він приймає ті самі варіанти
as coqtop.

-образ Бен
використання Бен як основне coqtop замість стандартного.

-вербозний
роздрукувати скомпільований файл на стандартному виводі.

Використовуйте coqc онлайн за допомогою служб onworks.net


Безкоштовні сервери та робочі станції

Завантажте програми для Windows і Linux

  • 1
    strikr
    strikr
    Проект безкоштовного програмного забезпечення Strikr. Артефакти
    випущено за принципом «намір»
    подвійна ліцензія: AGPLv3 (спільнота) і
    CC-BY-NC-ND 4.0 міжнародний
    (комерційний)...
    Завантажити strikr
  • 3
    GIFLIB
    GIFLIB
    giflib — це бібліотека для читання та
    написання gif зображень. Це API і ABI
    сумісний з libungif, який був у
    широке використання при стисненні LZW
    алгоритм був...
    Завантажити GIFLIB
  • 4
    Alt-F
    Alt-F
    Alt-F надає безкоштовний і відкритий вихідний код
    альтернативне програмне забезпечення для DLINK
    DNS-320/320L/321/323/325/327L and
    ДНР-322Л. Alt-F має Samba і NFS;
    підтримує ext2/3/4...
    Завантажити Alt-F
  • 5
    usm
    usm
    Usm — це уніфікований пакет slackware
    менеджер, який обробляє автоматичну роботу
    вирішення залежностей. Це об’єднує
    різні сховища пакетів, в т.ч
    slackware, slacky, p...
    Завантажити usm
  • 6
    Chart.js
    Chart.js
    Chart.js — це бібліотека Javascript, яка
    дозволяє дизайнерам і розробникам малювати
    всілякі діаграми з використанням HTML5
    елемент полотна. Chart js пропонує чудові можливості
    масив ...
    Завантажте Chart.js
  • Детальніше »

Команди Linux

Ad