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.
- Devel package for openSUSE:Factory
-
3
derived packages
- Links to openSUSE:Factory / coq
- Has a link diff
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout science/coq && cd $_ - Create Badge
Refresh
Source Files (show merged sources derived from linked package)
| Filename | Size | Changed |
|---|---|---|
| _constraints | 0000000219 219 Bytes | |
| _link | 0000000124 124 Bytes | |
| org.rocq-prover.rocqide.desktop | 0000000242 242 Bytes | |
| org.rocq-prover.rocqide.metainfo.xml | 0000003653 3.57 KB | |
| rocq-9.1.1.tar.gz | 0006395021 6.1 MB | |
| rocq-corelib-doc-9.1.1.tar.xz | 0000382004 373 KB | |
| rocq-refman-9.1.1.tar.xz | 0010704452 10.2 MB | |
| rocq-rpmlintrc | 0000000340 340 Bytes | |
| rocq.changes | 0000036195 35.3 KB | |
| rocq.spec | 0000009127 8.91 KB | |
| rocq.xml | 0000004674 4.56 KB |
Comments 0