Pakiet: libcoq-extructures (0.4.0-1 i inne)

[ Pakiet źródłowy: 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.

Inne pakiety związane z libcoq-extructures

• dep: libcoq-deriving-elyr3 [amd64]

  pakiet wirtualny udostępniany przez libcoq-deriving

• dep: libcoq-deriving-eyiv4 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-deriving

• dep: libcoq-deriving-g8hw1 [armhf]

  Pakiet niedostępny

• dep: libcoq-deriving-gvw70 [arm64]

  pakiet wirtualny udostępniany przez libcoq-deriving

• dep: libcoq-deriving-qwxp4 [i386]

  pakiet wirtualny udostępniany przez libcoq-deriving

• dep: libcoq-deriving-z0iq7 [s390x]

  pakiet wirtualny udostępniany przez libcoq-deriving

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

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

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

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

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

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

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

  Pakiet niedostępny

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

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

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

  pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

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

  pakiet wirtualny udostępniany przez libcoq-stdlib

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

  pakiet wirtualny udostępniany przez libcoq-stdlib

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

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-b6j36 [ppc64el]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-onxh8 [i386]

  pakiet wirtualny udostępniany przez libcoq-stdlib

• dep: libcoq-stdlib-xmpq7 [s390x]

  pakiet wirtualny udostępniany przez libcoq-stdlib

Pobieranie libcoq-extructures

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	0.4.0-1+b1	630,3 KiB	2 692,0 KiB	[lista plików]
arm64	0.4.0-1+b1	630,7 KiB	2 692,0 KiB	[lista plików]
armhf	0.4.0-1+b1	630,3 KiB	2 690,0 KiB	[lista plików]
i386	0.4.0-1+b1	630,5 KiB	2 690,0 KiB	[lista plików]
ppc64el	0.4.0-1+b1	630,7 KiB	2 692,0 KiB	[lista plików]
s390x	0.4.0-1+b1	630,6 KiB	2 692,0 KiB	[lista plików]