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 : eprover Version : 2.6 Upstream Author : Stefan Schulz * URL : https://eprover.org * License : LGPL-2.1+ Programming Lang: C Description : Equational theorem prover This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof. I plan to maintain it within the Debian Math Team. Cheers, J.Puydt