Binary package eprover/2.6+ds-3 in crimson @ pureos

eprover - 2.6+ds-3 main

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.

Priority: optional
Section: math
Suites: crimson dawn landing
Maintainer: Debian Math Team <team+math [꩜] tracker.debian.org>

Homepage Source Package

Dependencies

libc6 (>= 2.33)
picosat (>= 959)

Installed Size: 12.4 MB
Architectures: arm64 amd64

Versions

2.6+ds-3 arm64 2.6+ds-3 amd64