Package: wnpp Severity: wishlist Owner: Julien Puydt <[email protected]> X-Debbugs-Cc: Debian OCaml Maintainers <[email protected]>, [email protected]
* Package name : coqeal Version : 1.1.0 Upstream Author : Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg, Vincent Siles * URL : https://github.com/coq-community/coqeal * License : Expat Programming Lang: Coq Description : algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq. I plan to maintain this package within the Debian OCaml Maintainers team along with the other Coq-related packages. Cheers, J.Puydt
