coq-emacs27 - Theorem prover based on lambda-C

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package name coq-emacs27
Package version 8.6
Package release 3,3
Package architecture amd64
Package type txz
Installed size 137.66 MB
Download size 25.06 MB
Official Mirror
Developed in the LogiCal project, the Coq tool is a formal proof
management system: a proof done with Coq is mechanically checked
by the machine.
In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".
Coq is based on a logical framework called "Calculus of Inductive
Constructions" extended by a modular development system for
CoqIde is installed if the x11-toolkits/ocaml-lablgtk2 port is installed.
Categories: math
- DOCS: on
- IDE: on


Package Version Architecture Repository
coq-emacs27-8.6_3,3.txz 8.6 i386 FreeBSD Ports Latest
coq-emacs27-8.6_3,3.txz 8.6 amd64 FreeBSD Ports Quarterly
coq-emacs27-8.6_3,3.txz 8.6 i386 FreeBSD Ports Quarterly
coq-emacs27 - - -


Name Value
atk = 2.28.1
cairo = 1.15.12,2
emacs-devel =,2
fontconfig = 2.12.6,1
freetype2 = 2.9.1
gdk-pixbuf2 = 2.36.12
gettext-runtime =
glib = 2.56.1_2,1
gtk2 = 2.24.32
gtksourceview2 = 2.10.5_5
libxml2 = 2.9.7
ocaml = 4.02.3
ocaml-lablgtk2 = 2.18.3_2
pango = 1.42.4


Type URL
Binary Package coq-emacs27-8.6_3,3.txz
Source Package math/coq

Install Howto

Install coq-emacs27 txz package:

# pkg install coq-emacs27

See Also

Package Description
coq-emacs27_nox-8.6_3,3.txz Theorem prover based on lambda-C
corebird-1.7.4_2.txz GTK3 Twitter client written in Vala
coreos-ct-0.9.0.txz Container Linux Config Transpiler
coreos-etcd-2.3.8_2.txz Highly-available key value store and service discovery
coreos-etcd31-3.1.20.txz Highly-available key value store and service discovery
coreos-etcd32-3.2.26.txz Highly-available key value store and service discovery
coreos-etcd33-3.3.12.txz Highly-available key value store and service discovery
coreutils-8.31.txz Free Software Foundation core utilities
corkscrew-2.0_1.txz HTTP tunnelling utility for SSH
corosync2-2.4.4.txz Corosync Cluster Engine
corrade-2019.01.txz C++11/C++14 multiplatform utility library
corsixth-0.62_3.txz Open source clone of Theme Hospital
cosmo-2.0.4_5.txz Clone of Cosmo Gang the Puzzle (Namco)
cosmoplayer-2.1.1_2.txz Java classes to support VRML
cosmosmash-1.4.7_4.txz Clone of the Intellivision(TM) game Astrosmash(TM)