Package Info

coq

install

Proof Assistant based on the Calculus of Inductive Constructions

Productivity/Scientific/Math
License: LGPL-2.1-only
URL: https://coq.inria.fr/

Categories

Productivity Scientific Math

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
8.13.2-bp154.1.44 info GA Release 2022-05-12 15 SP4
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • coq
  • coq-devel
  • coq-doc
  • coq-ide