[ Source: coq-quickchick ]
Package: quickchick (1.6.4-3 and others)
Links for quickchick
Debian Resources:
Download Source Package coq-quickchick:
- [coq-quickchick_1.6.4-3.dsc]
- [coq-quickchick_1.6.4.orig.tar.gz]
- [coq-quickchick_1.6.4-3.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Randomiseret testramme for Coq - værktøjer
QuickChick tilbyder en ramme for randomiseret test af programegenskaber; det er en klon af Haskells QuickCheck.
Det inkluderer en grundlæggende verifikationsramme til at teste kode og en mekanisme til automatisk at udlede generatorer for induktive relationer.
Coq er en bevisassistent for logik i højere orden.
Denne pakke indeholder værktøjerne.
Other Packages Related to quickchick
|
|
|
|
-
- dep: ocaml-base-nox
- Overgangspakke for ocaml-base
- or ocaml-nox
- Overgangspakke for OCaml
Download quickchick
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 1.6.4-3+b1 | 54.4 kB | 353.0 kB | [list of files] |
arm64 | 1.6.4-3+b1 | 54.3 kB | 353.0 kB | [list of files] |
armhf | 1.6.4-3+b1 | 54.4 kB | 353.0 kB | [list of files] |
i386 | 1.6.4-3+b1 | 54.4 kB | 353.0 kB | [list of files] |
ppc64el | 1.6.4-3+b1 | 54.4 kB | 353.0 kB | [list of files] |
s390x | 1.6.4-3+b1 | 54.4 kB | 353.0 kB | [list of files] |