Paket: libcoq-extructures (0.4.0-1 och andra)

[ Källkod: coq-extructures  ]

data structures with extensional reasoning for Coq

This Coq plugin provides finite sets, maps and other data structures with extensional reasoning.

Coq is a proof assistant for higher-order logic.

Andra paket besläktade med libcoq-extructures

• dep: libcoq-deriving-elyr3 [amd64]

  virtuellt paket som tillhandahålls av libcoq-deriving

• dep: libcoq-deriving-eyiv4 [ppc64el]

  virtuellt paket som tillhandahålls av libcoq-deriving

• dep: libcoq-deriving-g8hw1 [armhf]

  Paketet inte tillgängligt

• dep: libcoq-deriving-gvw70 [arm64]

  virtuellt paket som tillhandahålls av libcoq-deriving

• dep: libcoq-deriving-qwxp4 [i386]

  virtuellt paket som tillhandahålls av libcoq-deriving

• dep: libcoq-deriving-z0iq7 [s390x]

  virtuellt paket som tillhandahålls av libcoq-deriving

• dep: libcoq-mathcomp-ssreflect-2doc4 [arm64]

  virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-ee6d7 [s390x]

  virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-iyvz0 [ppc64el]

  virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-mvvd3 [armhf]

  Paketet inte tillgängligt

• dep: libcoq-mathcomp-ssreflect-v1az1 [amd64]

  virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-vtcb9 [i386]

  virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect

• dep: libcoq-stdlib-4ny94 [armhf]

  virtuellt paket som tillhandahålls av libcoq-stdlib

• dep: libcoq-stdlib-6gs52 [amd64]

  virtuellt paket som tillhandahålls av libcoq-stdlib

• dep: libcoq-stdlib-77cs8 [arm64]

  virtuellt paket som tillhandahålls av libcoq-stdlib

• dep: libcoq-stdlib-b6j36 [ppc64el]

  virtuellt paket som tillhandahålls av libcoq-stdlib

• dep: libcoq-stdlib-onxh8 [i386]

  virtuellt paket som tillhandahålls av libcoq-stdlib

• dep: libcoq-stdlib-xmpq7 [s390x]

  virtuellt paket som tillhandahålls av libcoq-stdlib

Hämta libcoq-extructures

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	0.4.0-1+b1	630,3 kbyte	2.692,0 kbyte	[filförteckning]
arm64	0.4.0-1+b1	630,7 kbyte	2.692,0 kbyte	[filförteckning]
armhf	0.4.0-1+b1	630,3 kbyte	2.690,0 kbyte	[filförteckning]
i386	0.4.0-1+b1	630,5 kbyte	2.690,0 kbyte	[filförteckning]
ppc64el	0.4.0-1+b1	630,7 kbyte	2.692,0 kbyte	[filförteckning]
s390x	0.4.0-1+b1	630,6 kbyte	2.692,0 kbyte	[filförteckning]