Coqproofworker.opt Command
Maintainer: Debian OCaml Maintainers
Email: [email protected] .
Website: http://coq.inria.fr/
Section: math
Install coqproofworker.opt
-
Debian
apt-get install coq
Click to copy -
Ubuntu
apt-get install coq
Click to copy -
Arch Linux
pacman -S coq
Click to copy -
Kali Linux
apt-get install coq
Click to copy -
Fedora
dnf install coq
Click to copy -
Raspbian
apt-get install coq
Click to copy -
macOS
brew install coq
Click to copy
coq
proof assistant for higher-order logic (toplevel and compiler)Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. This package provides coqtop, a command line interface to Coq. A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
Install the latest version of coqproofworker.opt in Debian, Ubuntu, Arch, Kali, Fedora, Raspbian and macOS from terminal. To install the coqproofworker.opt just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of coqproofworker.opt from the respository and install it in your computer/server.