Paket: libcoq-math-classes (9.0.0-2 und andere)

[ Quellcode: coq-math-classes  ]

Experimentelles Paket

Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.

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.

Andere Pakete mit Bezug zu libcoq-math-classes

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

  virtuelles Paket, bereitgestellt durch libcoq-bignums

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

  virtuelles Paket, bereitgestellt durch libcoq-bignums

• dep: libcoq-bignums-ewo33 [ppc64el]

  virtuelles Paket, bereitgestellt durch libcoq-bignums

• dep: libcoq-bignums-w7824 [s390x]

  virtuelles Paket, bereitgestellt durch libcoq-bignums

• dep: libcoq-bignums-wygt9 [arm64]

  virtuelles Paket, bereitgestellt durch libcoq-bignums

• dep: libcoq-stdlib-axno0 [riscv64]

  Paket nicht verfügbar

• dep: libcoq-stdlib-bnji8 [s390x]

  virtuelles Paket, bereitgestellt durch libcoq-stdlib

• dep: libcoq-stdlib-h7bl4 [amd64]

  Paket nicht verfügbar

• dep: libcoq-stdlib-q4wc6 [arm64]

  Paket nicht verfügbar

• dep: libcoq-stdlib-xsyt0 [ppc64el]

  virtuelles Paket, bereitgestellt durch libcoq-stdlib

libcoq-math-classes herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	9.0.0-2+b1	2.821,0 kB	10.576,0 kB	[Liste der Dateien]
arm64	9.0.0-2	2.821,3 kB	10.575,0 kB	[Liste der Dateien]
ppc64el	9.0.0-2	2.821,3 kB	10.575,0 kB	[Liste der Dateien]
riscv64	9.0.0-2	2.821,2 kB	10.575,0 kB	[Liste der Dateien]
s390x	9.0.0-2	2.820,6 kB	10.575,0 kB	[Liste der Dateien]