Toggle navigation
Projects
Maintainers
Repositories
Tools
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
coq
131
package(s) known
Alpine Linux Edge
testing
coq
8.8.2 (8.8.2-r0)
Summary:
A formal proof management system
Maintainer:
info@mobile-stream.com
License:
LGPL-2.1
Package-related links:
Package details
Homepage:
https://coq.inria.fr/
4
6
Alpine Linux Edge
testing
coq-doc
8.8.2 (8.8.2-r0)
Summary:
A formal proof management system (documentation)
Maintainer:
info@mobile-stream.com
License:
LGPL-2.1
Package-related links:
Package details
Homepage:
https://coq.inria.fr/
4
6
Alpine Linux Edge
testing
coq-emacs
8.8.2 (8.8.2-r0)
Summary:
A formal proof management system (Emacs files)
Maintainer:
info@mobile-stream.com
License:
LGPL-2.1
Package-related links:
Package details
Homepage:
https://coq.inria.fr/
4
6
AOSC
coq
8.10.1
Summary:
Formal proof management system
Maintainer:
fallback-mnt-aosc@repology
Category:
science
Package-related links:
Package details
Package sources on GitHub
Arch
community
coq
8.13.0 (8.13.0-1)
Summary:
Formal proof management system
License:
GPL
Package-related links:
Package details on www.archlinux.org
Git repository
PKGBUILD
Package information (x86_64)
Homepage:
https://coq.inria.fr/
4
6
Arch
community
coq-doc
8.13.0 (8.13.0-1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Package-related links:
Package details on www.archlinux.org
Git repository
PKGBUILD
Package information (x86_64)
Homepage:
https://coq.inria.fr/
4
6
Arch
community
coqide
8.13.0 (8.13.0-1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Package-related links:
Package details on www.archlinux.org
Git repository
PKGBUILD
Package information (x86_64)
Homepage:
https://coq.inria.fr/
4
6
Chocolatey
The Coq proof assistant
8.13.0
Summary:
An interactive theorem proof assistant.
Package-related links:
Chocolatey package page
Homepage:
https://coq.inria.fr/
4
6
Debian Oldstable
oldstable/main
coq
8.6 (8.6-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://coq.inria.fr/
4
6
Debian Stable
stable/main
coq
8.9.0 (8.9.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://coq.inria.fr/
4
6
Debian Testing
testing/main
coq
8.12.0 (8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://coq.inria.fr/
4
6
Debian Unstable
main
coq
8.12.0 (8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Package-related links:
Package details on packages.debian.org
Related bugs in Debian bug tracker
Package auto-building status
Popularity contest statistics
Homepage:
http://coq.inria.fr/
4
6
Deepin
main
coq
8.9.0 (8.9.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
Devuan 1.0 (Jessie)
jessie/main
coq
8.4pl4 (8.4pl4dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
Devuan 2.0 (ASCII)
ascii/main
coq
8.6 (8.6-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
Devuan 3.0 (Beowulf)
beowulf/main
coq
8.9.0 (8.9.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
Devuan 4.0 (Chimaera)
chimaera/main
coq
8.12.0 (8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
Devuan Unstable
unstable/main
coq
8.12.0 (8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
DPorts
math/coq
8.6 (8.6_5,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coq.inria.fr/
4
6
DPorts
math/coq
8.6 (8.6_5,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coq.inria.fr/
4
6
DPorts
math/coq
8.6 (8.6_5,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coq.inria.fr/
4
6
DPorts
math/coq
8.6 (8.6_5,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coq.inria.fr/
4
6
DPorts
math/coq
8.6 (8.6_5,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Package-related links:
DPorts git
DPorts Makefile
Synth build log
FreeBSD FreshPorts page
FreeBSD SVNWeb
FreeBSD Port's Makefile
FreeBSD PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coq.inria.fr/
4
6
Exherbo
ocaml-unofficial
dev-lang/coq
8.5-scm
Summary:
A proof assistant
Maintainer:
fallback-mnt-exherbo@repology
Category:
dev-lang
Package-related links:
Package details
Package repository
Exheres file
Homepage:
http://coq.inria.fr/
4
6
Exherbo
ocaml-unofficial
dev-lang/coq
scm
Summary:
A proof assistant
Maintainer:
fallback-mnt-exherbo@repology
Category:
dev-lang
Package-related links:
Package details
Package repository
Exheres file
Homepage:
http://coq.inria.fr/
4
6
Exherbo
ocaml-unofficial
dev-lang/coq
8.5-p2
Summary:
A proof assistant
Maintainer:
fallback-mnt-exherbo@repology
Category:
dev-lang
Package-related links:
Package details
Package repository
Exheres file
Homepage:
http://coq.inria.fr/
4
6
Download(s):
https://coq.inria.fr/distrib/V8.5pl2/files/coq-8.5pl2.tar.gz
4
6
Fedora 26
release
coq
8.6 (8.6-2.fc26)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora 27
release
coq
8.6.1 (8.6.1-1.fc27)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora 28
release
coq
8.7.1 (8.7.1-2.fc28)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora 29
release
coq
8.7.1 (8.7.1-7.fc29)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora 30
release
coq
8.8.2 (8.8.2-2.fc30)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora 31
release
coq
8.9.1 (8.9.1-4.fc31)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora 31
updates
coq
8.9.1 (8.9.1-5.fc31)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora 32
updates
coq
8.11.2 (8.11.2-1.fc32)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora 32
release
coq
8.11.0 (8.11.0-1.fc32)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora 33
updates
coq
8.12.2 (8.12.2-1.fc33)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora 33
release
coq
8.12.0 (8.12.0-3.fc33.1)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
Fedora Rawhide
coq
8.12.2 (8.12.2-1.fc34)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Package-related links:
Package details on Fedora Pagure
Package details on Fedora Packages
Homepage:
https://coq.inria.fr/
4
6
FreeBSD Ports
math/coq
8.6 (8.6_5,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coq.inria.fr/
4
6
FreeBSD Ports
math/coq
8.6 (8.6_5,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coq.inria.fr/
4
6
FreeBSD Ports
math/coq
8.6 (8.6_5,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coq.inria.fr/
4
6
FreeBSD Ports
math/coq
8.6 (8.6_5,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coq.inria.fr/
4
6
FreeBSD Ports
math/coq
8.6 (8.6_5,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Package-related links:
FreshPorts page
SVNWeb
Port's Makefile
PortsMon
Related bugs in FreeBSD bugzilla
Homepage:
http://coq.inria.fr/
4
6
Funtoo 1.4
science-kit
sci-mathematics/coq
8.6.1
Summary:
Proof assistant written in O'Caml
Maintainers:
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Homepage:
http://coq.inria.fr/
4
6
Download(s):
http://coq.inria.fr/distrib/V8.6.1/files/coq-8.6.1.tar.gz
4
6
Funtoo 1.4
science-kit
sci-mathematics/coq
8.6
Summary:
Proof assistant written in O'Caml
Maintainers:
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Homepage:
http://coq.inria.fr/
4
6
Download(s):
http://coq.inria.fr/distrib/V8.6/files/coq-8.6.tar.gz
4
6
Gentoo
sci-mathematics/coq
8.12.0
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Package details
View ebuild
Homepage:
http://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.12.0.tar.gz
4
6
Gentoo
sci-mathematics/coq
8.9.1 (8.9.1-r1)
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Package details
View ebuild
Homepage:
http://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.9.1.tar.gz
4
6
Gentoo
sci-mathematics/coq
8.9.1 (8.9.1-r2)
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Package details
View ebuild
Homepage:
http://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.9.1.tar.gz
4
6
Gentoo
sci-mathematics/coq
8.6.1 (8.6.1-r1)
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Package details
View ebuild
Homepage:
http://coq.inria.fr/
4
6
Download(s):
http://coq.inria.fr/distrib/V8.6.1/files/coq-8.6.1.tar.gz
4
6
GNU Guix
coq
8.11.2
Summary:
Proof assistant for higher-order logic
Package-related links:
Package page on Guix site
Package source in Git
Homepage:
https://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq
4
6
Homebrew
coq
8.13.0
Summary:
Proof assistant for higher-order logic
Package-related links:
Formula page
Formula code on GitHub
Homepage:
https://coq.inria.fr/
4
6
Hyperbola
community
coq
8.6 (8.6-5)
Summary:
Formal proof management system
License:
GPL
Package-related links:
Package search on hyperbola.info.nu
Homepage:
https://coq.inria.fr/
4
6
Hyperbola
community
coq-doc
8.6 (8.6-5)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Package-related links:
Package search on hyperbola.info.nu
Homepage:
https://coq.inria.fr/
4
6
Hyperbola
community
coqide
8.6 (8.6-5)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Package-related links:
Package search on hyperbola.info.nu
Homepage:
https://coq.inria.fr/
4
6
Kali Linux Rolling
main
coq
8.12.0 (8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Package-related links:
Git repository
Homepage:
http://coq.inria.fr/
4
6
LiGurOS 20.7
nokit
sci-mathematics/coq
8.12.0
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Git directory
View ebuild
Homepage:
https://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.12.0.tar.gz
4
6
LiGurOS 20.7
nokit
sci-mathematics/coq
8.9.1 (8.9.1-r1)
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Git directory
View ebuild
Homepage:
https://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.9.1.tar.gz
4
6
LiGurOS 20.7
nokit
sci-mathematics/coq
8.9.1 (8.9.1-r2)
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Git directory
View ebuild
Homepage:
https://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.9.1.tar.gz
4
6
LiGurOS 20.7
nokit
sci-mathematics/coq
8.6.1 (8.6.1-r1)
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Git directory
View ebuild
Homepage:
https://coq.inria.fr/
4
6
Download(s):
http://coq.inria.fr/distrib/V8.6.1/files/coq-8.6.1.tar.gz
4
6
LiGurOS 21.1
nokit
sci-mathematics/coq
8.12.0
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Git directory
View ebuild
Homepage:
https://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.12.0.tar.gz
4
6
LiGurOS 21.1
nokit
sci-mathematics/coq
8.9.1 (8.9.1-r1)
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Git directory
View ebuild
Homepage:
https://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.9.1.tar.gz
4
6
LiGurOS 21.1
nokit
sci-mathematics/coq
8.9.1 (8.9.1-r2)
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Git directory
View ebuild
Homepage:
https://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.9.1.tar.gz
4
6
LiGurOS 21.1
nokit
sci-mathematics/coq
8.6.1 (8.6.1-r1)
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Package-related links:
Git directory
View ebuild
Homepage:
https://coq.inria.fr/
4
6
Download(s):
http://coq.inria.fr/distrib/V8.6.1/files/coq-8.6.1.tar.gz
4
6
Linuxbrew
coq
8.13.0
Summary:
Proof assistant for higher-order logic
Package-related links:
Formula page
Formula code on GitHub
Homepage:
https://coq.inria.fr/
4
6
MacPorts
coq
8.8.2
Summary:
Proof assistant for higher-order logic
Maintainers:
pmetzger@macports
pmetzger@github
Category:
lang
License:
LGPL-2.1
Package-related links:
Port page on MacPorts.org
Port directory in GitHub repository
Homepage:
https://coq.inria.fr/
4
6
Mageia 6
core/release
coq
8.5pl2 (8.5pl2-2.mga6)
Summary:
The Coq Proof Assistant
Category:
Sciences/Computer science
License:
LGPLv2
Package-related links:
Package details on madb.mageia.org
Homepage:
https://coq.inria.fr/
4
6
Mageia 7
core/release
coq
8.7.1 (8.7.1-1.mga7)
Summary:
The Coq Proof Assistant
Category:
Sciences/Computer science
License:
LGPLv2
Package-related links:
Package details on madb.mageia.org
Homepage:
https://coq.inria.fr/
4
6
Mageia Cauldron
core/release
coq
8.11.0 (8.11.0-4.mga8)
Summary:
The Coq Proof Assistant
Category:
Sciences/Computer science
License:
LGPLv2
Package-related links:
Package details on madb.mageia.org
Homepage:
https://coq.inria.fr/
4
6
Manjaro Stable
community
coq
8.12.0 (8.12.0-2)
Summary:
Formal proof management system
License:
GPL
Homepage:
https://coq.inria.fr/
4
6
Manjaro Stable
community
coq-doc
8.12.0 (8.12.0-2)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Homepage:
https://coq.inria.fr/
4
6
Manjaro Stable
community
coqide
8.12.0 (8.12.0-2)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Homepage:
https://coq.inria.fr/
4
6
Manjaro Testing
community
coq
8.12.0 (8.12.0-2)
Summary:
Formal proof management system
License:
GPL
Homepage:
https://coq.inria.fr/
4
6
Manjaro Testing
community
coq-doc
8.12.0 (8.12.0-2)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Homepage:
https://coq.inria.fr/
4
6
Manjaro Testing
community
coqide
8.12.0 (8.12.0-2)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Homepage:
https://coq.inria.fr/
4
6
Manjaro Unstable
community
coq
8.13.0 (8.13.0-1)
Summary:
Formal proof management system
License:
GPL
Homepage:
https://coq.inria.fr/
4
6
Manjaro Unstable
community
coq-doc
8.13.0 (8.13.0-1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Homepage:
https://coq.inria.fr/
4
6
Manjaro Unstable
community
coqide
8.13.0 (8.13.0-1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Homepage:
https://coq.inria.fr/
4
6
nixpkgs stable
coq
8.12.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://coq.inria.fr/
4
6
nixpkgs stable
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://coq.inria.fr/
4
6
nixpkgs stable
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://coq.inria.fr/
4
6
nixpkgs stable
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
Category:
coqPackages
License:
LGPL-2.1-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://coq.inria.fr/
4
6
nixpkgs stable
coq
8.10.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://coq.inria.fr/
4
6
nixpkgs stable
coq
8.9.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://coq.inria.fr/
4
6
nixpkgs stable
coq
8.8.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://coq.inria.fr/
4
6
nixpkgs stable
coq
8.7.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://coq.inria.fr/
4
6
nixpkgs stable
coq
8.6.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://coq.inria.fr/
4
6
nixpkgs stable
coq
8.5pl3
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1-only
Package-related links:
Package source (release branch)
Package source (master branch, imprecise link)
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.13+beta1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.12.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
Category:
coqPackages
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.10.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.9.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.8.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.7.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.6.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
nixpkgs unstable
coq
8.5pl3
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Package-related links:
Package source
Homepage:
http://coq.inria.fr/
4
6
OpenBSD Ports
math/coq
8.12.1
Summary:
proof assistant based on a typed lambda calculus
Maintainer:
yozo@v007.vaio.ne.jp
Category:
math
Package-related links:
OpenPorts.se page
Port CVS directory
Port directory on GitHub mirror
Homepage:
https://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.12.1/coq-8.12.1.tar.gz
4
6
OpenPKG
coq
8.6
Summary:
Coq Poof Assistent
Category:
Algorithm
License:
LGPL
Homepage:
https://coq.inria.fr/
4
6
Download(s):
https://coq.inria.fr/distrib/V8.6/files/coq-8.6.tar.gz
4
6
openSUSE Tumbleweed
coq
8.12.2 (8.12.2-1.1)
Summary:
Proof Assistant based on the Calculus of Inductive Constructions
Category:
Productivity/Scientific/Math
License:
LGPL-2.1-only
Package-related links:
Package in openSUSE Build Service
Package details on software.opensuse.org
Homepage:
https://coq.inria.fr/
4
6
openSUSE Science Tumbleweed
coq
8.12.2 (8.12.2-26.4)
Summary:
Proof Assistant based on the Calculus of Inductive Constructions
Category:
Productivity/Scientific/Math
License:
LGPL-2.1-only
Package-related links:
Package in openSUSE Build Service
Package details on software.opensuse.org
Homepage:
https://coq.inria.fr/
4
6
Parabola
community
coq
8.13.0 (8.13.0-1)
Summary:
Formal proof management system
License:
GPL
Package-related links:
Package search on parabola.nu
Homepage:
https://coq.inria.fr/
4
6
Parabola
community
coq-doc
8.13.0 (8.13.0-1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Package-related links:
Package search on parabola.nu
Homepage:
https://coq.inria.fr/
4
6
Parabola
community
coqide
8.13.0 (8.13.0-1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Package-related links:
Package search on parabola.nu
Homepage:
https://coq.inria.fr/
4
6
Pardus 17
main
coq
8.6 (8.6-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
Pardus 19
main
coq
8.9.0 (8.9.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
Parrot
main
coq
8.12.0 (8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
pkgsrc current
lang/coq
8.10.2 (8.10.2nb6)
Summary:
Theorem prover which extracts programs from proofs
Maintainer:
jaapb@netbsd.org
Category:
lang
Package-related links:
pkgsrc.se page
Port CVS directory
Port Makefile
Homepage:
https://coq.inria.fr/
4
6
PLD Linux
coq
8.6 (8.6-1)
Package-related links:
Package git repository
PureOS Amber
coq
8.9.0 (8.9.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
misc
Homepage:
http://coq.inria.fr/
4
6
PureOS landing
coq
8.12.0 (8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
misc
Homepage:
http://coq.inria.fr/
4
6
Raspbian Oldstable
main
coq
8.6 (8.6-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
Raspbian Stable
main
coq
8.9.0 (8.9.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
Raspbian Testing
main
coq
8.12.0 (8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Homepage:
http://coq.inria.fr/
4
6
Rosa 2014.1
contrib/release
coq
8.4.pl4 (8.4.pl4-1)
License:
LGPLv2+
Package-related links:
Package on abf.io
Homepage:
http://coq.inria.fr/
4
6
Rosa 2016.1
contrib/release
coq
8.4.pl4 (8.4.pl4-3)
License:
LGPLv2+
Package-related links:
Package on abf.io
Homepage:
http://coq.inria.fr/
4
6
Scoop
main
coq
8.13.0
License:
LGPL-2.1-only
Homepage:
https://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0-installer-windows-x86_64.exe#/dl.7z
4
6
SlackBuilds
academic/coq
8.9.0
Maintainer:
nick@smallbone.se
Category:
academic
Package-related links:
SlackBuilds.org page
Homepage:
http://coq.inria.fr/
4
6
Download(s):
https://github.com/coq/coq/archive/V8.9.0/coq-8.9.0.tar.gz
4
6
Trisquel 6.0
toutatis/main
coq
8.3.pl4 (8.3.pl4+dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Homepage:
http://coq.inria.fr/
4
6
Trisquel 7.0
belenos/main
coq
8.4pl3 (8.4pl3dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Homepage:
http://coq.inria.fr/
4
6
Trisquel 8.0
flidas/main
coq
8.4pl4 (8.4pl4dfsg-3build2)
Maintainers:
debian-ocaml-maint@lists.debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Homepage:
http://coq.inria.fr/
4
6
Trisquel 9.0
etiona/main
coq
8.6 (8.6-5build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Homepage:
http://coq.inria.fr/
4
6
Ubuntu 12.04
precise/universe
coq
8.3.pl4 (8.3.pl4+dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Package-related links:
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coq.inria.fr/
4
6
Ubuntu 14.04
trusty/universe
coq
8.4pl3 (8.4pl3dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coq.inria.fr/
4
6
Ubuntu 16.04
xenial/universe
coq
8.4pl4 (8.4pl4dfsg-3build2)
Maintainers:
debian-ocaml-maint@lists.debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coq.inria.fr/
4
6
Ubuntu 18.04
bionic/universe
coq
8.6 (8.6-5build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coq.inria.fr/
4
6
Ubuntu 20.04
focal/universe
coq
8.11.0 (8.11.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coq.inria.fr/
4
6
Ubuntu 20.10
groovy/universe
coq
8.12.0 (8.12.0-3build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
universe/devel
Package-related links:
Package details on packages.ubuntu.com
Package on Launchpad.net
Related bugs on Launchpad.net
Package builds on launchpad
Homepage:
http://coq.inria.fr/
4
6
Void Linux x86_64
x86_64
coq
8.13.0 (8.13.0_1)
Summary:
Proof assistant written in OCaml
Maintainer:
leah@vuxu.org
License:
LGPL-2.1-only
Package-related links:
Port directory in git repo
Template file
Homepage:
https://coq.inria.fr/
4
6
Wikidata
Coq
8.13.0
Summary:
proof assistant
License:
GNU Lesser General Public License
Package-related links:
Wikidata item
Homepage:
https://coq.inria.fr/
4
6