Standard library for the Rocq prover
No description set
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Factory/rocq-stdlib && cd $_ - Create Badge
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| _constraints | 0000000219 219 Bytes | |
| rocq-refman-stdlib-9.1.0.tar.xz | 0002799416 2.67 MB | |
| rocq-stdlib-9.1.0.tar.gz | 0001864333 1.78 MB | |
| rocq-stdlib-doc-9.1.0.tar.xz | 0002140624 2.04 MB | |
| rocq-stdlib-rpmlintrc | 0000000340 340 Bytes | |
| rocq-stdlib.changes | 0000000630 630 Bytes | |
| rocq-stdlib.spec | 0000005265 5.14 KB |
Comments 0