SUSE Package Hub
FAQ
Packages
Contribute
Use
Features
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