Versions Packages Information History Related Badges Report

Information for coq

Versions

  • 8.5-scm
  • scm
  • 2022.04.0
  • 8.16+rc1
  • 8.15.2 (10)
  • 8.15.1 (2)
  • 8.15.0 (5)
  • 8.14.1
  • 8.13.2 (6)
  • 8.13.1 (2)
  • 8.13.0
  • 8.12.2 (2)
  • 8.12.0 (4)
  • 8.11.2 (3)
  • 8.11.0 (3)
  • 8.10.2
  • 8.10.1
  • 8.9.1 (2)
  • 8.9.0
  • 8.8.2 (2)
  • 8.7.2
  • 8.7.1 (2)
  • 8.6.1 (3)
  • 8.6 (5)
  • 8.5pl3
  • 8.5-p2
  • 8.4pl4dfsg
  • 8.4.pl4
  • 8.4pl3dfsg
  • 8.3.pl4

Package names

  • Coq
  • coq (22)

Repositories

Categories

  • Algorithm
  • Productivity/Scientific/Math
  • Sciences/Computer science
  • Unspecified
  • coqPackages
  • dev-lang
  • lang (2)
  • math (3)
  • misc
  • sci-mathematics
  • science
  • universe/devel

Licenses

  • GNU Lesser General Public License, version 2.1
  • GPL
  • LGPL
  • LGPL-2.1 (3)
  • LGPL-2.1-only (2)
  • LGPL-2.1-or-later
  • LGPLv2 (2)
  • LGPLv2+
  • Proprietary, LGPL-2.1-only, LGPL-3.0-or-later, MIT, GPL-2.0-only, BSD-2-Clause-FreeBSD, CECILL-C, BSD-3-Clause, CECILL-B, ...

Summaries

  • A formal proof management system
  • A formal proof management system (documentation)
  • A proof assistant
  • An interactive theorem proof assistant.
  • Coq Poof Assistent
  • Coq proof assistant
  • Formal proof management system (2)
  • GTK-based graphical interface for the Coq proof assistant
  • HTML and PDF documentation for the Coq proof assistant
  • Proof Assistant based on the Calculus of Inductive Constructions
  • Proof assistant for higher-order logic (3)
  • Proof assistant written in O'Caml
  • Proof assistant written in OCaml
  • Proof management system
  • The Coq Proof Assistant
  • Theorem prover based on lambda-C
  • Theorem prover which extracts programs from proofs
  • proof assistant
  • proof assistant based on a typed lambda calculus

Maintainers

All package recipes

Downloads

Build logs