The Coq Proof Assistant

Edit Package coq

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.

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's avatar Aaron Puchert (aaronpuchert) (revision 68)
baserev update by copy to link target
Comments 0
openSUSE Build Service is sponsored by