[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Källkod: paramcoq ]

Paket: libcoq-paramcoq (1.1.3+coq8.20-1 och andra)

Länkar för libcoq-paramcoq

Debianresurser:

Hämta källkodspaketet paramcoq:

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

Coq plugin to generate parametricity statements

This package provides a plugin for Coq to generate parametricity statements, typically used in data refinement proofs.

Coq is a proof assistant for higher-order logic.

Andra paket besläktade med libcoq-paramcoq

beror

rekommenderar

föreslår

enhances

dep: libcoq-stdlib-1ns11 [arm64]

virtuellt paket som tillhandahålls av libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

virtuellt paket som tillhandahålls av libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

virtuellt paket som tillhandahålls av libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

virtuellt paket som tillhandahålls av libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

virtuellt paket som tillhandahålls av libcoq-stdlib

Hämta libcoq-paramcoq

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	1.1.3+coq8.20-1+b4	113,8 kbyte	859,0 kbyte	[filförteckning]
arm64	1.1.3+coq8.20-1+b4	120,5 kbyte	1.077,0 kbyte	[filförteckning]
ppc64el	1.1.3+coq8.20-1+b4	115,0 kbyte	947,0 kbyte	[filförteckning]
riscv64	1.1.3+coq8.20-1+b4	114,7 kbyte	893,0 kbyte	[filförteckning]
s390x	1.1.3+coq8.20-1+b4	116,0 kbyte	963,0 kbyte	[filförteckning]