Package: wnpp Severity: wishlist Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org
* Package name : paramcoq Version : 1.1.3 Upstream Author : Pierre Roux * URL : https://github.com/coq-community/paramcoq * License : Expat Programming Lang: Coq Description : Coq plugin to generate parametricity statements This package provides a plugin for Coq to generate parametricity statements, typically used in data refinement proofs. . Coq is a proof assistant for higher-order logic. I plan to maintain this package within the umbrella of the Coq OCaml Maintainers team, along with the other coq-related packages. Cheers, J.Puydt