Package: wnpp Severity: wishlist Owner: Julien Puydt <[email protected]> X-Debbugs-Cc: Debian Math Team <[email protected]>, [email protected]
* 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
