Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.bugs.dist > #1102813 > unrolled thread
| Started by | Julien Puydt <jpuydt@debian.org> |
|---|---|
| First post | 2022-05-11 17:10 +0200 |
| Last post | 2022-05-11 17:10 +0200 |
| Articles | 1 — 1 participant |
Back to article view | Back to linux.debian.bugs.dist
Bug#1010852: ITP: paramcoq -- Coq plugin to generate parametricity statements Julien Puydt <jpuydt@debian.org> - 2022-05-11 17:10 +0200
| From | Julien Puydt <jpuydt@debian.org> |
|---|---|
| Date | 2022-05-11 17:10 +0200 |
| Subject | Bug#1010852: ITP: paramcoq -- Coq plugin to generate parametricity statements |
| Message-ID | <ElW8p-eMDM-7@gated-at.bofh.it> |
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 top | Article view | linux.debian.bugs.dist
csiph-web