EnglishFrenchSpanish

Ad


OnWorks favicon

coqchk - Online in the Cloud

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

This is the command coqchk 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


coqchk - The Coq Proof Checker compiled libraries verifier

SYNOPSIS


coqchk [ options ] modules

DESCRIPTION


coqchk is the standalone checker of compiled libraries (.vo files produced by coqc) for
the Coq Proof Assistant. See the Reference Manual for more information. It returns with
exit code 0 if all the requested tasks succeeded. A non-zero return code means that
something went wrong: some library was not found, corrupted content, type-checking
failure, etc.

modules is a list of modules to be checked. Modules can be referred to by a short or
qualified name.

OPTIONS


-I dir, --include dir
add directory dir in the include path

-R dir coqdir
recursively map physical dir to logical coqdir

-silent
makes coqchk less verbose.

-admit module
tag the specified module and all its dependencies as trusted, and will not be
rechecked, unless explicitly requested by other options.

-norec module
specifies that the given module shall be verified without requesting to check its
dependencies.

-m, --memory
displays a summary of the memory used by the checker.

-o, --output-context
displays a summary of the logical content that have been verified: assumptions and
usage of impredicativity.

-impredicative-set
allows the checker to accept libraries that have been compiled with this flag.

-v print coqchk version and exit.

-coqlib dir
overrides the default location of the standard library.

-where print coqchk standard library location and exit.

-h, --help
print list of options

Use coqchk online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    wxPython
    wxPython
    A set of Python extension modules that
    wrap the cross-platform GUI classes from
    wxWidgets.. Audience: Developers. User
    interface: X Window System (X11), Win32 ...
    Download wxPython
  • 2
    packfilemanager
    packfilemanager
    This is the Total War pack file manager
    project, starting from version 1.7. A
    short introduction into Warscape
    modding: ...
    Download packfilemanager
  • 3
    IPerf2
    IPerf2
    A network traffic tool for measuring
    TCP and UDP performance with metrics
    around both throughput and latency. The
    goals include maintaining an active
    iperf cod...
    Download IPerf2
  • 4
    fre:ac - free audio converter
    fre:ac - free audio converter
    fre:ac is a free audio converter and CD
    ripper for various formats and encoders.
    It features MP3, MP4/M4A, WMA, Ogg
    Vorbis, FLAC, AAC, and Bonk format
    support, ...
    Download fre:ac - free audio converter
  • 5
    BotMan
    BotMan
    Write your chatbot logic once and
    connect it to one of the available
    messaging services, including Amazon
    Alexa, Facebook Messenger, Slack,
    Telegram or even yo...
    Download BotMan
  • 6
    gerbv  a Gerber (RS-274X) viewer
    gerbv a Gerber (RS-274X) viewer
    Gerbv is an open source Gerber file
    (RS-274X only) viewer. Gerbv lets you
    load several files on top of each other,
    do measurements on the displayed image,
    etc. ...
    Download gerbv a Gerber (RS-274X) viewer
  • 7
    Iometer
    Iometer
    I/O performance Analysis Tool.
    Audience: Developers, Information
    Technology, Science/Research, System
    Administrators. User interface: Win32
    (MS Windows). Progr...
    Download Iometer
  • More »

Linux commands

Ad