#1014159 ITP: eprover -- Equational theorem prover

Package:
wnpp
Source:
wnpp
Submitter:
Julien Puydt
Date:
2022-07-14 20:03:06 UTC
Severity:
wishlist
#1014159#5
Date:
2022-07-01 06:56:16 UTC
From:
To:
* 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
#1014159#10
Date:
2022-07-14 20:00:05 UTC
From:
To:
Hi,

the -1 was rejected from NEW, so when -2 was accepted, the bug wasn't
closed automatically.

Now doing so manually!

J.Puydt