[ Source: coq-quickchick ]
Package: quickchick (2.0.3-2)
Links for quickchick
Debian Resources:
Download Source Package coq-quickchick:
- [coq-quickchick_2.0.3-2.dsc]
- [coq-quickchick_2.0.3.orig.tar.gz]
- [coq-quickchick_2.0.3-2.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: libc6 (>= 2.35)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: ocaml-base
- Kørselstidssystem for OCaml-bytecode kørbare filer
- or ocaml
- ML sprogimplementering med et klassebasseret objektsystem
Download quickchick
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| i386 | 393.5 kB | 1,338.0 kB | [list of files] |