The Coq Proof Assistant
Coq is a proof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification.
- Devel package for openSUSE:Factory
-
1
derived packages
- Links to openSUSE:Factory / coq
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout science/coq && cd $_
- Create Badge
Refresh
Refresh
Source Files (show unmerged sources)
Filename | Size | Changed |
---|---|---|
_constraints | 0000000219 219 Bytes | |
coq-8.20.0.tar.gz | 0007839432 7.48 MB | |
coq-refman-8.20.0.tar.xz | 0007788608 7.43 MB | |
coq-rpmlintrc | 0000000340 340 Bytes | |
coq-stdlib-8.20.0.tar.xz | 0002203608 2.1 MB | |
coq.changes | 0000033525 32.7 KB | |
coq.spec | 0000009475 9.25 KB | |
coq.xml | 0000000419 419 Bytes | |
fr.inria.coq.coqide.desktop | 0000000235 235 Bytes | |
fr.inria.coq.coqide.metainfo.xml | 0000003357 3.28 KB |
Latest Revision
buildservice-autocommit
accepted
request 1199381
from
Aaron Puchert (aaronpuchert)
(revision 68)
baserev update by copy to link target
Comments 0