Package: libcoq-math-classes (8.19.0-1 and others)

[ Source: 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.

Other Packages Related to libcoq-math-classes

• dep: libcoq-bignums-2inf9 [s390x]

  virtual package provided by libcoq-bignums

• dep: libcoq-bignums-93v34 [arm64]

  virtual package provided by libcoq-bignums

• dep: libcoq-bignums-e87f9 [ppc64el]

  virtual package provided by libcoq-bignums

• dep: libcoq-bignums-gozd9 [riscv64]

  virtual package provided by libcoq-bignums

• dep: libcoq-bignums-iri34 [amd64]

  virtual package provided by libcoq-bignums

• dep: libcoq-stdlib-awro6 [riscv64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-jr710 [arm64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-o9940 [amd64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-pibk3 [s390x]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-vsu61 [ppc64el]

  virtual package provided by libcoq-stdlib

Download libcoq-math-classes

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	8.19.0-1+b13	2,759.3 kB	10,434.0 kB	[list of files]
arm64	8.19.0-1+b12	2,759.6 kB	10,434.0 kB	[list of files]
ppc64el	8.19.0-1+b12	2,759.7 kB	10,434.0 kB	[list of files]
riscv64	8.19.0-1+b11	2,759.6 kB	10,434.0 kB	[list of files]
s390x	8.19.0-1+b11	2,759.4 kB	10,434.0 kB	[list of files]