EnglishFrenchSpanish

OnWorks favicon

coqc - Online in the Cloud

Run coqc in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command coqc that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


coqc - The Coq Proof Assistant compiler

SYNOPSIS


coqc [ general Coq options ] file

DESCRIPTION


coqc is the batch compiler for the Coq Proof Assistant. The options are basically the
same as coqtop(1). file.v is the vernacular file to compile. file must be formed only
with the characters `a` to `Z`, `0`-`9` or `_` and must begin with a letter. The
compiler produces an object file file.vo.

For interactive use of Coq, see coqtop(1).

OPTIONS


coqc is a script that simply runs coqtop with option -compile it accepts the same options
as coqtop.

-image bin
use bin as underlying coqtop instead of the default one.

-verbose
print the compiled file on the standard output.

Use coqc online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    strikr
    strikr
    Strikr Free Software project. Artifacts
    released under a 'intent based'
    dual license: AGPLv3 (community) and
    CC-BY-NC-ND 4.0 international
    (commercial)...
    Download strikr
  • 3
    GIFLIB
    GIFLIB
    giflib is a library for reading and
    writing gif images. It is API and ABI
    compatible with libungif which was in
    wide use while the LZW compression
    algorithm was...
    Download GIFLIB
  • 4
    Alt-F
    Alt-F
    Alt-F provides a free and open source
    alternative firmware for the DLINK
    DNS-320/320L/321/323/325/327L and
    DNR-322L. Alt-F has Samba and NFS;
    supports ext2/3/4...
    Download Alt-F
  • 5
    usm
    usm
    Usm is a unified slackware package
    manager that handles automatic
    dependency resolution. It unifies
    various package repositories including
    slackware, slacky, p...
    Download usm
  • 6
    Chart.js
    Chart.js
    Chart.js is a Javascript library that
    allows designers and developers to draw
    all kinds of charts using the HTML5
    canvas element. Chart js offers a great
    array ...
    Download Chart.js
  • More »

Linux commands

Ad