EnglishFrenchSpanish

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
    AstrOrzPlayer
    AstrOrzPlayer
    AstrOrz Player is a free media player
    software, part based on WMP and VLC. The
    player is in a minimalist style, with
    more than ten theme colors, and can also
    b...
    Download AstrOrzPlayer
  • 2
    movistartv
    movistartv
    Kodi Movistar+ TV es un ADDON para XBMC/
    Kodi que permite disponer de un
    decodificador de los servicios IPTV de
    Movistar integrado en uno de los
    mediacenters ma...
    Download movistartv
  • 3
    Code::Blocks
    Code::Blocks
    Code::Blocks is a free, open-source,
    cross-platform C, C++ and Fortran IDE
    built to meet the most demanding needs
    of its users. It is designed to be very
    extens...
    Download Code::Blocks
  • 4
    Amidst
    Amidst
    Amidst or Advanced Minecraft Interface
    and Data/Structure Tracking is a tool to
    display an overview of a Minecraft
    world, without actually creating it. It
    can ...
    Download Amidst
  • 5
    MSYS2
    MSYS2
    MSYS2 is a collection of tools and
    libraries providing you with an
    easy-to-use environment for building,
    installing and running native Windows
    software. It con...
    Download MSYS2
  • 6
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo is a JPEG image codec
    that uses SIMD instructions (MMX, SSE2,
    NEON, AltiVec) to accelerate baseline
    JPEG compression and decompression on
    x86, x8...
    Download libjpeg-turbo
  • More »

Linux commands

Ad