Paketti: libcoq-extructures (0.4.0-1 ja muut)

[ Source: 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.

Muut pakettiin libcoq-extructures liittyvät paketit

• dep: libcoq-deriving-49e55 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-deriving

• dep: libcoq-deriving-6e0o4 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-deriving

• dep: libcoq-deriving-ddgn6 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-deriving

• dep: libcoq-deriving-f2qj3 [ppc64]

  näennäispaketti, jonka toteuttaa libcoq-deriving

• dep: libcoq-deriving-jo2t1 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-deriving

• dep: libcoq-deriving-m7j82 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-deriving

• dep: libcoq-deriving-qwq59 [i386]

  näennäispaketti, jonka toteuttaa libcoq-deriving

• dep: libcoq-deriving-r7tu3 [riscv64]

  näennäispaketti, jonka toteuttaa libcoq-deriving

• dep: libcoq-mathcomp-ssreflect-2p885 [riscv64]

  näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-342a2 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-4a185 [i386]

  näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-ad5z4 [ppc64]

  näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect

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

  näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-e7ay1 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect

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

  näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect

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

  näennäispaketti, jonka toteuttaa libcoq-mathcomp-ssreflect

• 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-extructures

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	0.4.0-1+b2	630.6 kt	2,692.0 kt	[tiedostoluettelo]
arm64	0.4.0-1+b2	630.4 kt	2,692.0 kt	[tiedostoluettelo]
armhf	0.4.0-1+b2	630.3 kt	2,690.0 kt	[tiedostoluettelo]
i386	0.4.0-1+b2	630.5 kt	2,690.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	0.3.1-4+b1	574.2 kt	2,061.0 kt	[tiedostoluettelo]
ppc64el	0.4.0-1+b2	630.8 kt	2,692.0 kt	[tiedostoluettelo]
riscv64	0.4.0-1+b2	630.7 kt	2,692.0 kt	[tiedostoluettelo]
s390x	0.4.0-1+b2	630.6 kt	2,692.0 kt	[tiedostoluettelo]