Пакет: libcoq-mathcomp-bigenough (1.0.1-12 и други)

[ Източник: mathcomp-bigenough  ]

epsilon - N reasoning for Mathematical Components

This package provides an extension to reason with big enough objects (mostly natural numbers) for the Mathematical Components library.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Други пакети, свързани с libcoq-mathcomp-bigenough

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

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

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

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

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

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

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

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

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

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

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

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

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

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

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

  виртуален пакет, предлаган от libcoq-mathcomp-ssreflect

• sug: ocaml-findlib

  management tool for OCaml libraries

Изтегляне на libcoq-mathcomp-bigenough

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	1.0.1-12+b2	25,5 кБ	95,0 кБ	[списък на файловете]
arm64	1.0.1-12+b2	25,5 кБ	95,0 кБ	[списък на файловете]
armhf	1.0.1-12+b2	25,4 кБ	95,0 кБ	[списък на файловете]
i386	1.0.1-12+b2	25,5 кБ	95,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	1.0.1-10	24,2 кБ	91,0 кБ	[списък на файловете]
ppc64el	1.0.1-12+b2	25,5 кБ	95,0 кБ	[списък на файловете]
riscv64	1.0.1-12+b2	25,5 кБ	95,0 кБ	[списък на файловете]
s390x	1.0.1-12+b2	25,5 кБ	95,0 кБ	[списък на файловете]