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.
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Backports:SLE-15-SP4/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 |
Comments 0