LogoopenSUSE Build Service > Projects
Sign Up | Log In

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.

Source Files (show merged sources derived from linked package)

Filename Size Changed Actions
coq-8.7.0.tar.gz 5.37 MB about 1 year ago
coq.changes 4.55 KB about 1 year ago Download File
coq.desktop 187 Bytes over 3 years ago Download File
coq.png 6.42 KB about 10 years ago Download File
coq.spec 5.59 KB about 1 year ago Download File
petit-coq.gif 126 Bytes about 10 years ago Download File

Comments for home:pxc (0)

Login required, please login or signup in order to comment