Package: wnpp Severity: wishlist Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: Debian Math Team <team+m...@tracker.debian.org>, jpu...@debian.org
* Package name : gappa Version : 1.4.0 Upstream Author : Guillaume Melquiond * URL : https://gappa.gitlabpages.inria.fr * License : GPL-3 Programming Lang: C++ Description : Automatic generation of proofs of arithmetic properties Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic. I plan to maintain it within the Debian Math Team, where it belongs quite naturally. Cheers, J.Puydt
