coq-emacs26_canna-8.6_3,3.txz


Advertisement

Description

coq-emacs26_canna - Theorem prover based on lambda-C

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package name coq-emacs26_canna
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 pkg.freebsd.org
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
theories.
CoqIde is installed if the x11-toolkits/ocaml-lablgtk2 port is installed.
WWW: http://coq.inria.fr/
Categories: math
Maintainer: hrs@FreeBSD.org
Options:
- DOCS: on
- IDE: on

Alternatives

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

Requires

Name Value
atk = 2.28.1
cairo = 1.15.12,2
emacs-canna = 26.1_3,3
fontconfig = 2.12.6,1
freetype2 = 2.9.1
gdk-pixbuf2 = 2.36.12
gettext-runtime = 0.19.8.1_1
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

Download

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

Install Howto

Install coq-emacs26_canna txz package:

# pkg install coq-emacs26_canna

See Also

Package Description
coq-emacs26_nox-8.6_3,3.txz Theorem prover based on lambda-C
coq-emacs27-8.6_3,3.txz Theorem prover based on lambda-C
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)
Advertisement
Advertisement