[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



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


Reply to: