EnglishFrenchSpanish

Ad


OnWorks favicon

coqmktop - Online in the Cloud

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

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


coqmktop - The Coq Proof Assistant user-tactics linker

SYNOPSIS


coqmktop [ options ] files

DESCRIPTION


coqmktop builds a new Coq toplevel extended with user-tactics. files are the Objective
Caml object or library files (i.e. with suffix .cmo, .cmx, .cma or .cmxa) to link with the
Coq system. The linker produces an executable Coq toplevel which can be called directly
or through coqc(1), using the -image option.

OPTIONS


-h Help. List the available options.

-srcdir dir
Specify where the Coq source files are

-o exec-file
Specify the name of the resulting toplevel

-opt Compile in native code

-full Link high level tactics

-top Build Coq on a ocaml toplevel (incompatible with -opt)

-R dir Specify recursively directories for Ocaml

-v8 Link with V8 grammar

Use coqmktop 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