Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.bugs.dist > #1102813
| From | Julien Puydt <jpuydt@debian.org> |
|---|---|
| Newsgroups | linux.debian.bugs.dist, linux.debian.maint.ocaml.maint |
| Subject | Bug#1010852: ITP: paramcoq -- Coq plugin to generate parametricity statements |
| Date | 2022-05-11 17:10 +0200 |
| Message-ID | <ElW8p-eMDM-7@gated-at.bofh.it> (permalink) |
| Organization | linux.* mail to news gateway |
Cross-posted to 2 groups.
Package: wnpp Severity: wishlist Owner: Julien Puydt <jpuydt@debian.org> X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org, jpuydt@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
Back to linux.debian.bugs.dist | Previous | Next | Find similar | Unroll thread
Bug#1010852: ITP: paramcoq -- Coq plugin to generate parametricity statements Julien Puydt <jpuydt@debian.org> - 2022-05-11 17:10 +0200
csiph-web