Package: wnpp X-Debbugs-Cc: debian-de...@lists.debian.org Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Severity: wishlist
* Package name : mathcomp-bigenough Version : 1.5.1 Upstream Author : Cyril Cohen * URL : https://github.com/math-comp/finmap * License : CeCILL-B Programming Lang: Coq Description : epsilon - N reasoning for Mathematical Components This package provides an extension to reason with big enough objects (mostly natural numbers) for the Mathematical Components library. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant. I plan to support it within the Debian Ocaml Maintainers team, alongside the other Coq-related packages we have. Cheers, J.Puydt
