Alle Optionen
bookworm  ] [  trixie  ] [  forky  ] [  sid  ] [  experimental  ]
[ Quellcode: coq-math-classes  ]

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

Links für libcoq-math-classes

Screenshot

Debian-Ressourcen:

Quellcode-Paket coq-math-classes herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

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 kB10.576,0 kB [Liste der Dateien]
arm64 9.0.0-2 2.821,3 kB10.575,0 kB [Liste der Dateien]
ppc64el 9.0.0-2 2.821,3 kB10.575,0 kB [Liste der Dateien]
riscv64 9.0.0-2 2.821,2 kB10.575,0 kB [Liste der Dateien]
s390x 9.0.0-2 2.820,6 kB10.575,0 kB [Liste der Dateien]