#1014059 ITP: coq-math-classes -- Abstract interfaces for mathematical structures for Coq

Package:
wnpp
Source:
wnpp
Submitter:
Julien Puydt
Date:
2022-07-15 08:48:11 UTC
Severity:
wishlist
#1014059#5
Date:
2022-06-29 15:15:27 UTC
From:
To:
* Package name    : coq-math-classes
  Version         : 8.15.0
  Upstream Author : Eelis van der Weegen, Bas Spitters, Robbert Krebbers
* URL             : https://github.com/coq-community/math-classes
* License         : Expat
  Programming Lang: Coq
  Description     : 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.

I plan to maintain it within the Debian OCaml Maintainers team, along with the
rest of the Coq-related packages.

Cheers,

J.Puydt
#1014059#10
Date:
2022-07-15 08:46:17 UTC
From:
To:
Hi,

my -1 was rejected, so the bug wasn't properly closed when -2 was
accepted.

It's time to close.

Cheers,

J.Puydt