EnglishFrenchSpanish

Ad


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
    OpenFOAM
    OpenFOAM
    OpenFOAM - The Open Source CFD Toolbox.
    OpenFOAM is a generic, programmable
    software tool for Computational Fluid
    Dynamics (CFD). For more information,
    see: - ...
    Download OpenFOAM
  • 2
    PostInstallerF
    PostInstallerF
    PostInstallerF will install all the
    software that Fedora Linux and others
    doesn't include by default, after
    running Fedora for the first time. Its
    easy for...
    Download PostInstallerF
  • 3
    strace
    strace
    The strace project has been moved to
    https://strace.io. strace is a
    diagnostic, debugging and instructional
    userspace tracer for Linux. It is used
    to monitor a...
    Download strace
  • 4
    JasperReports Library
    JasperReports Library
    JasperReports Library is the
    world's most popular open source
    business intelligence and reporting
    engine. It is entirely written in Java
    and it is able to ...
    Download JasperReports Library
  • 5
    Numerical Python
    Numerical Python
    NEWS: NumPy 1.11.2 is the last release
    that will be made on sourceforge. Wheels
    for Windows, Mac, and Linux as well as
    archived source distributions can be fou...
    Download Numerical Python
  • 6
    CMU Sphinx
    CMU Sphinx
    CMUSphinx is a speaker-independent large
    vocabulary continuous speech recognizer
    released under BSD style license. It is
    also a collection of open source tools ...
    Download CMU Sphinx
  • 7
    Old Feren OS Repositories
    Old Feren OS Repositories
    This was the Official Repository for
    Feren OS. To add the latest one, run
    this command: (16.04-based) echo
    "deb ...
    Download Old Feren OS Repositories
  • More »

Linux commands

Ad