Versions Packages Information History Related Badges Report

Information for coq

Versions

  • 8.12.1 (6)
  • 8.12.0 (7)
  • 8.11.2 (3)
  • 8.11.0 (3)
  • 8.10.2 (2)
  • 8.10.1
  • 8.9.1 (4)
  • 8.9.0 (2)
  • 8.8.2 (4)
  • 8.7.2
  • 8.7.1 (2)
  • 8.6.1 (3)
  • 8.6 (7)
  • 8.5pl3
  • 8.5pl2
  • 8.4pl4
  • 8.4.pl4
  • 8.4pl3
  • 8.3.pl4

Package names

  • Coq
  • The Coq proof assistant
  • academic/coq
  • coq (16)
  • coq-doc (2)
  • coq-emacs
  • coqide
  • lang/coq
  • math/coq (2)
  • sci-mathematics/coq

Repositories

Categories

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

Licenses

  • GNU Lesser General Public License
  • GPL
  • LGPL
  • LGPL-2.1 (3)
  • LGPL-2.1-only (4)
  • LGPLv2 (2)
  • LGPLv2+

Summaries

  • A formal proof management system
  • A formal proof management system (Emacs files)
  • A formal proof management system (documentation)
  • 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

Homepages

Downloads