Bug#1014159: ITP: eprover -- Equational theorem prover
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian Math Team <team+math@tracker.debian.org>, jpuydt@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
Reply to: