Bug#1010767: ITP: coquelicot -- Coq library for real analysis
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org, jpuydt@debian.org
* Package name : coquelicot
Version : 3.2.0
Upstream Author : S.Boldo, C.Lelay and G.Melquiond
* URL : https://coquelicot.saclay.inria.fr/
* License : LGPL-3
Programming Lang: Coq
Description : Coq library for real analysis
This package provides a formalization of real analysis compatible
with the Coq standard library.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain the package within the Debian OCaml maintainers team, along
with the other Coq-related packages.
Cheers,
J.Puydt
Reply to: