EnglishFrenchSpanish

Ad


OnWorks favicon

coqchk.opt - Online in the Cloud

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

This is the command coqchk.opt 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.opt online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    DivFix++
    DivFix++
    DivFix++ is yours AVI video repair and
    preview software. It designed for repair
    and preview files which are on download
    from ed2k(emule), torrent, gnutella, ftp...
    Download DivFix++
  • 2
    JBoss Community
    JBoss Community
    Community driven projects featuring the
    latest innovations for cutting edge
    apps. Our flagship project JBoss AS is
    the leading Open Source,
    standards-compliant...
    Download JBoss Community
  • 3
    Django Filer
    Django Filer
    django Filer is a file management
    application for django that makes
    handling files and images a breeze.
    django-filer is a file management
    application for djang...
    Download Django Filer
  • 4
    xCAT
    xCAT
    Extreme Cluster Administration Toolkit.
    xCAT is a scalable cluster management
    and provisioning tool that provides
    hardware control, discovery, and OS
    diskful/di...
    Download xCAT
  • 5
    Psi
    Psi
    Psi is cross-platform powerful XMPP
    client designed for experienced users.
    There are builds available for MS
    Windows, GNU/Linux and macOS.. Audience:
    End Users...
    Download Psi
  • 6
    Blobby Volley 2
    Blobby Volley 2
    Official continuation of the famous
    Blobby Volley 1.x arcade game..
    Audience: End Users/Desktop. User
    interface: OpenGL, SDL. Programming
    Language: C++, Lua. C...
    Download Blobby Volley 2
  • More »

Linux commands

Ad