toutes les options
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : coq-quickchick  ]

Paquet : libcoq-quickchick (2.1.0-1 et autres)

Liens pour libcoq-quickchick

Screenshot

Ressources Debian :

Télécharger le paquet source coq-quickchick :

Responsables :

Ressources externes :

Paquets similaires :

randomized testing framework for Coq (plugin)

QuickChick provides a framework for randomized testing of program properties ; it's a clone of Haskell's QuickCheck.

It includes a foundational verification framework to test code and a mechanism to automatically derive generators for inductive relations.

Coq is a proof assistant for higher-order logic.

This package contains the Coq plugin.

Autres paquets associés à libcoq-quickchick

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libcoq-quickchick

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 2.1.0-1+b5 4 154,8 ko12 361,0 ko [liste des fichiers]
arm64 2.1.0-1+b5 4 163,1 ko13 106,0 ko [liste des fichiers]
loong64 (portage non officiel) 2.0.3-3 3 496,7 ko18 410,0 ko [liste des fichiers]
ppc64 (portage non officiel) 2.0.3-3 3 393,6 ko17 131,0 ko [liste des fichiers]
ppc64el 2.1.0-1+b5 4 167,3 ko13 046,0 ko [liste des fichiers]
riscv64 2.1.0-1+b4 4 312,2 ko15 080,0 ko [liste des fichiers]
s390x 2.1.0-1+b5 4 133,3 ko12 582,0 ko [liste des fichiers]