Balík: libcoq-math-classes (9.0.0-2 a iné)

[ Zdroj: coq-math-classes  ]

Experimentálny balík

Upozornenie: Tento balík pochádza z distribúcie experimental. To znamená, že je pravdepodobne nestabilný alebo môže dokonca spôsobiť stratu údajov. Predtým, než ho začnete používať sa prosím pozrite do záznamu zmien a ďalšej možnej dokumentácie.

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.

Ostatné balíky súvisiace s balíkom libcoq-math-classes

• dep: libcoq-bignums-1yr61 [amd64]

  virtuálny balík poskytovaný balíkom libcoq-bignums

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

  virtuálny balík poskytovaný balíkom libcoq-bignums

• dep: libcoq-bignums-ewo33 [ppc64el]

  virtuálny balík poskytovaný balíkom libcoq-bignums

• dep: libcoq-bignums-w7824 [s390x]

  virtuálny balík poskytovaný balíkom libcoq-bignums

• dep: libcoq-bignums-wygt9 [arm64]

  virtuálny balík poskytovaný balíkom libcoq-bignums

• dep: libcoq-stdlib-axno0 [riscv64]

  Balík nie je dostupný

• dep: libcoq-stdlib-bnji8 [s390x]

  virtuálny balík poskytovaný balíkom libcoq-stdlib

• dep: libcoq-stdlib-h7bl4 [amd64]

  Balík nie je dostupný

• dep: libcoq-stdlib-q4wc6 [arm64]

  Balík nie je dostupný

• dep: libcoq-stdlib-xsyt0 [ppc64el]

  virtuálny balík poskytovaný balíkom libcoq-stdlib

Stiahnuť libcoq-math-classes

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	9.0.0-2+b1	2,821.0 kB	10,576.0 kB	[zoznam súborov]
arm64	9.0.0-2	2,821.3 kB	10,575.0 kB	[zoznam súborov]
ppc64el	9.0.0-2	2,821.3 kB	10,575.0 kB	[zoznam súborov]
riscv64	9.0.0-2	2,821.2 kB	10,575.0 kB	[zoznam súborov]
s390x	9.0.0-2	2,820.6 kB	10,575.0 kB	[zoznam súborov]