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.
- Links to science / coq
- Has a link diff
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:HuangZeshun:PowerPC/failed_coq && cd $_ - Create Badge
Refresh
Source Files (show merged sources derived from linked package)
| Filename | Size | Changed |
|---|---|---|
| _constraints | 0000000219 219 Bytes | |
| _link | 0000000168 168 Bytes | |
| coq-8.18.0.tar.gz | 0007612742 7.26 MB | |
| coq-refman-8.18.0.tar.xz | 0007492340 7.15 MB | |
| coq-rpmlintrc | 0000000340 340 Bytes | |
| coq-stdlib-8.18.0.tar.xz | 0002205680 2.1 MB | |
| coq.changes | 0000028863 28.2 KB | |
| coq.spec | 0000009017 8.81 KB | |
| coq.xml | 0000000419 419 Bytes | |
| fr.inria.coq.coqide.desktop | 0000000235 235 Bytes | |
| fr.inria.coq.coqide.metainfo.xml | 0000003157 3.08 KB |
Comments 0