--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: ITP: coq-math-classes -- Abstract interfaces for mathematical structures for Coq
- From: Julien Puydt <jpuydt@debian.org>
- Date: Wed, 29 Jun 2022 17:15:27 +0200
- Message-id: <165651572739.1381062.1658508420198053688.reportbug@alibert.home>
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org
* 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
--- End Message ---