Edit Package coq

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.

Refresh
Refresh
Source Files
Filename Size Changed
_constraints 0000000165 165 Bytes 10 months
coq-8.13.2.tar.gz 0006952855 6.63 MB 2 months
coq-rpmlintrc 0000000336 336 Bytes almost 2 years
coq.changes 0000018503 18.1 KB 2 months
coq.desktop 0000000245 245 Bytes almost 2 years
coq.spec 0000007410 7.24 KB 2 months
coq.xml 0000000419 419 Bytes almost 2 years
Comments for coq 0
openSUSE Build Service is sponsored by