LogoopenSUSE Build Service > Projects
Sign Up | Log In

The Coq Proof Assistant
http://coq.inria.fr

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.

This package contains shared files and the commandline interface. For GTK graphical interface install %{name}-ide.

Source Files

Filename Size Changed Actions
coq-8.2-1.tar.bz2 3.01 MB over 9 years ago Download File
coq.desktop 186 Bytes over 9 years ago Download File
coq.png 6.42 KB almost 10 years ago Download File
coq.spec 4.97 KB over 9 years ago Download File
petit-coq.gif 126 Bytes almost 10 years ago Download File

Comments for home:radomir_cernoch:coq (0)