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
Filename Size Changed
_constraints 0000000165 165 Bytes
coq-8.13.2.tar.gz 0006952855 6.63 MB
coq-refman-8.13.2.tar.xz 0008992636 8.58 MB
coq-rpmlintrc 0000000336 336 Bytes
coq-stdlib-8.13.2.tar.xz 0002801528 2.67 MB
coq.changes 0000018759 18.3 KB
coq.desktop 0000000245 245 Bytes
coq.spec 0000008966 8.76 KB
coq.xml 0000000419 419 Bytes
Latest Revision
Yuchen Lin's avatar Yuchen Lin (maxlin_factory) committed (revision 2)
branch from SP4 Backports
Comments 0
openSUSE Build Service is sponsored by