Package Info

coq


Proof Assistant based on the Calculus of Inductive Constructions


Productivity/Scientific/Math

Categories

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-debuginfo
  • coq-debugsource
  • coq-devel
  • coq-doc
  • coq-ide
  • coq-ide-debuginfo