Пакет: libcoq-math-classes (8.18.0-1 и други)

[ Източник: coq-math-classes  ]

Abstract interfaces for mathematical structures for Coq

This library provides abstract interfaces for mathematical structures for Coq, such as:

 - algebraic hierarchy (groups, rings, fields, ...)
 - relations, orders, ...
 - Categories, functors, universal algebra, ...
 - Numbers: N, Z, Q, ...
 - Operations (shift, power, abs, ...).

Coq is a proof assistant for higher-order logic.

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

• dep: libcoq-bignums-2rga4 [arm64]

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

• dep: libcoq-bignums-4vzh8 [ppc64el]

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

• dep: libcoq-bignums-7cbx9 [riscv64]

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

• dep: libcoq-bignums-hbrs9 [s390x]

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

• dep: libcoq-bignums-lkzr7 [amd64]

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

• dep: libcoq-bignums-r0m71 [ppc64]

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

• dep: libcoq-bignums-ugi67 [i386]

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

• dep: libcoq-bignums-yjqn6 [armhf]

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

• dep: libcoq-stdlib-84f80 [amd64]

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

• dep: libcoq-stdlib-8u5j8 [armhf]

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

• dep: libcoq-stdlib-97v84 [arm64]

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

• dep: libcoq-stdlib-l2kk4 [riscv64]

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

• dep: libcoq-stdlib-n0k10 [ppc64]

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

• dep: libcoq-stdlib-nhhu6 [ppc64el]

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

• dep: libcoq-stdlib-tp8b6 [i386]

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

• dep: libcoq-stdlib-wsmp7 [s390x]

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

Изтегляне на libcoq-math-classes

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

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	8.18.0-1+b1	2 831,0 кБ	12 927,0 кБ	[списък на файловете]
arm64	8.18.0-1+b1	2 831,7 кБ	12 927,0 кБ	[списък на файловете]
armhf	8.18.0-1+b1	2 829,3 кБ	12 890,0 кБ	[списък на файловете]
i386	8.18.0-1+b1	2 829,3 кБ	12 890,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	8.17.0-1+b2	2 890,9 кБ	13 356,0 кБ	[списък на файловете]
ppc64el	8.18.0-1+b1	2 831,8 кБ	12 927,0 кБ	[списък на файловете]
riscv64	8.18.0-1+b1	2 831,3 кБ	12 927,0 кБ	[списък на файловете]
s390x	8.18.0-1+b1	2 831,5 кБ	12 927,0 кБ	[списък на файловете]