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.
- Developed at science
-
1
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Factory/coq && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| coq-8.9.1.tar.gz | 0006001970 5.72 MB | |
| coq-rpmlintrc | 0000000336 336 Bytes | |
| coq.changes | 0000009308 9.09 KB | |
| coq.desktop | 0000000245 245 Bytes | |
| coq.spec | 0000006928 6.77 KB | |
| coq.xml | 0000000419 419 Bytes |
Revision 1 (latest revision is 27)
Dominique Leuenberger (dimstar_suse)
accepted
request 747961
from
Aaron Puchert (aaronpuchert)
(revision 1)
- Initial release based on version 8.9.1.
Comments 0