Paket: libcoq-extructures (0.3.1-3 och andra)

Länkar för libcoq-extructures

Debianresurser:

Hämta källkodspaketet coq-extructures:

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

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

beror

rekommenderar

föreslår

enhances

dep: libcoq-deriving-1iz36 [s390x]

virtuellt paket som tillhandahålls av libcoq-deriving
dep: libcoq-deriving-dfnh8 [armhf]

virtuellt paket som tillhandahålls av libcoq-deriving
dep: libcoq-deriving-mxln6 [amd64]

virtuellt paket som tillhandahålls av libcoq-deriving
dep: libcoq-deriving-p4lv2 [i386]

virtuellt paket som tillhandahålls av libcoq-deriving
dep: libcoq-deriving-uixq5 [ppc64el]

virtuellt paket som tillhandahålls av libcoq-deriving
dep: libcoq-deriving-wly34 [arm64]

virtuellt paket som tillhandahålls av libcoq-deriving
dep: libcoq-mathcomp-ssreflect-0cpi5 [i386]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-4wd38 [s390x]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-7sy01 [amd64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-bczw3 [arm64]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-l1wx5 [ppc64el]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-qo8z6 [armhf]

virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
dep: libcoq-stdlib-bj4w1 [i386]

virtuellt paket som tillhandahålls av libcoq-stdlib
dep: libcoq-stdlib-ctiy2 [arm64]

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

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

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

virtuellt paket som tillhandahålls av libcoq-stdlib
dep: libcoq-stdlib-u2uh4 [armhf]

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.3.1-3+b1	573,8 kbyte	2.061,0 kbyte	[filförteckning]
arm64	0.3.1-3+b1	573,8 kbyte	2.061,0 kbyte	[filförteckning]
armhf	0.3.1-3+b1	573,4 kbyte	2.059,0 kbyte	[filförteckning]
i386	0.3.1-3+b1	573,6 kbyte	2.059,0 kbyte	[filförteckning]
ppc64el	0.3.1-3+b1	573,9 kbyte	2.061,0 kbyte	[filförteckning]
s390x	0.3.1-3+b1	573,9 kbyte	2.061,0 kbyte	[filförteckning]