# Source: eprover
# Package: eprover
# Versions: eprover (2.6+ds-2), eprover (2.6+ds-3), eprover (3.0.03+ds-1), eprover (3.1.0+ds-1), eprover (3.1.0+ds-2), eprover (3.2.0+ds-1), eprover (3.2.5+ds-1), eprover (3.5.1+ds-1), eprover (3.5.1+ds-1+b1)
# This Description is active
# Prioritize: 47
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.
Description-sr: <trans>
 <trans>

# other Descriptions of the eprover package with a translation in sr:
#