Paketti: libcoq-paramcoq (1.1.3+coq8.18-1 ja muut)

[ Source: paramcoq  ]

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.

Muut pakettiin libcoq-paramcoq liittyvät paketit

• dep: libcoq-stdlib-84f80 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-8u5j8 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-97v84 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-l2kk4 [riscv64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-n0k10 [ppc64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-nhhu6 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-tp8b6 [i386]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-wsmp7 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

Imuroi libcoq-paramcoq

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	1.1.3+coq8.18-1+b1	113.9 kt	890.0 kt	[tiedostoluettelo]
arm64	1.1.3+coq8.18-1+b1	120.7 kt	1,114.0 kt	[tiedostoluettelo]
armhf	1.1.3+coq8.18-1+b1	110.2 kt	648.0 kt	[tiedostoluettelo]
i386	1.1.3+coq8.18-1+b1	102.3 kt	744.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	1.1.3+coq8.17-2	114.5 kt	1,110.0 kt	[tiedostoluettelo]
ppc64el	1.1.3+coq8.18-1+b1	115.2 kt	986.0 kt	[tiedostoluettelo]
riscv64	1.1.3+coq8.18-1+b1	114.2 kt	906.0 kt	[tiedostoluettelo]
s390x	1.1.3+coq8.18-1+b1	115.2 kt	946.0 kt	[tiedostoluettelo]