Overview Repositories Revisions Requests Users Attributes Meta

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.

  • Sources inherited from project openSUSE:Backports:SLE-15-SP4
  • Download package
  • osc -A https://api.opensuse.org checkout openSUSE:Backports:SLE-15-SP4:Update/coq && cd $_
  • Create Badge
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) accepted request 956049 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 1) 
Initial submit of version 8.13.2.
Comments 0
openSUSE Build Service is sponsored by
Places