Ubuntu
coq-math-classes package

coq-math-classes 8.19.0-1 source package in Ubuntu

Changelog

coq-math-classes (8.19.0-1) unstable; urgency=medium

  * New upstream release.
  * Bump standards-version to 4.7.0.

 -- Julien Puydt <email address hidden>  Fri, 26 Apr 2024 14:47:46 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-math-classes_8.19.0-1.dsc 2.1 KiB 29a1adaaf6631f543640b790762a379e7d1a9d59a046a1e3d1a83a9f3825d86c
coq-math-classes_8.19.0.orig.tar.gz 165.1 KiB 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492
coq-math-classes_8.19.0-1.debian.tar.xz 2.9 KiB e1d78aaf06c866351820c2bbf4665829c55448007bc6f1a0c0f8d667d9530d07

No changes file available.

Binary packages built by this source

libcoq-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.