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 merged sources derived from linked package)
Filename Size Changed
_constraints 0000000219 219 Bytes
coq-8.19.2.tar.gz 0007678311 7.32 MB
coq-refman-8.19.2.tar.xz 0007665520 7.31 MB
coq-rpmlintrc 0000000340 340 Bytes
coq-stdlib-8.19.2.tar.xz 0002176420 2.08 MB
coq.changes 0000032131 31.4 KB
coq.spec 0000009498 9.28 KB
coq.xml 0000000419 419 Bytes
fr.inria.coq.coqide.desktop 0000000235 235 Bytes
fr.inria.coq.coqide.metainfo.xml 0000003357 3.28 KB
Comments 0
openSUSE Build Service is sponsored by