coq - Theorem prover which extracts programs from proofs

Property Value
Distribution NetBSD 8.0
Repository NetBSD amd64
Package filename coq-8.9.1.tgz
Package name coq
Package version 8.9.1
Package release -
Package architecture amd64
Package type tgz
Category lang math
License gnu-lgpl-v2.1
Maintainer -
Download size 67.69 MB
Installed size 387.97 MB
Coq is a Proof Assistant for a Logical Framework known as the
Calculus of Inductive Constructions. It allows the interactive
construction of formal proofs, and also the manipulation of
functional programs consistently with their specifications.
Options: coqide


Package Version Architecture Repository
coq - - -


Name Value
camlp5 >= 7.07
gtk2+ >= 2.24.32nb7
ocaml >= 4.07.1nb3
ocaml-lablgtk >= 2.18.8nb1
ocaml-num >= 1.1nb2
python37 >= 3.7.0


Type URL
Binary Package coq-8.9.1.tgz
Source Package coq

Install Howto

Install coq tgz package:

# pkg_add coq

See Also

Package Description
coreutils-8.29nb2.tgz GNU basic file, shell and text manipulation utilities
corewars-0.9.13nb2.tgz Programs on a virtual machine, fighting each other
corkscrew-2.0.tgz Tool for tunneling SSH through HTTP proxies
cosmosmash-1.4.7.tgz Space rock shooting video game
courier-analog-0.16nb6.tgz Courier log analyzer
courier-authlib-0.64.0nb12.tgz Courier Authentication Library
courier-imap-4.10.0nb7.tgz IMAP server for access to maildir-style mailboxes
courier-maildir-0.68.1nb7.tgz Courier maildir utilities
courier-prime-1.203nb1.tgz Fixed-width font designed for screenplays
courier-unicode-2.1.tgz Implements several algorithms related to the Unicode Standard
couriertcpd-0.68.1nb7.tgz Courier TCP socket and TLS servers
coursera-dl-0.8.0nb1.tgz Download course ressources for Coursera classes
covered-0.7.10nb1.tgz Verilog code coverage analyzer (stable release version)
cowsay-3.04nb2.tgz Configurable talking cow
coyim-0.3.11nb2.tgz Safe and secure by default chat client