всички настройки
[  bookworm  ] [  trixie  ] [  sid  ]
[ Източник: coq-quickchick  ]

Пакет: quickchick (2.0.3-2 и други)

Връзки за quickchick

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник coq-quickchick.

Отговорници:

Външни препратки:

Подобни пакети:

randomized testing framework for Coq (tools)

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 tools.

Други пакети, свързани с quickchick

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на quickchick

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
amd64 2.0.3-2+b1 401,1 кБ1 505,0 кБ [списък на файловете]
arm64 2.0.3-2+b1 442,5 кБ1 773,0 кБ [списък на файловете]
armhf 2.0.3-2 376,5 кБ1 057,0 кБ [списък на файловете]
i386 2.0.3-2+b1 393,7 кБ1 339,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 2.0-2+b1 55,3 кБ355,0 кБ [списък на файловете]
ppc64el 2.0.3-2+b1 423,2 кБ1 709,0 кБ [списък на файловете]
riscv64 2.0.3-2+b1 409,9 кБ1 545,0 кБ [списък на файловете]
s390x 2.0.3-2 403,0 кБ1 668,0 кБ [списък на файловете]