Bug#1014159: ITP: eprover -- Equational theorem prover

[Julien Puydt <jpuydt@debian.org>]

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