Package: wnpp X-Debbugs-Cc: [email protected] Owner: Julien Puydt <[email protected]> X-Debbugs-Cc: [email protected] 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
