Yirmiuc / eprover

Equational theorem prover

•     Debian Math Team
•     [email protected]
•     https://eprover.org
•     2.6+ds-3
•     eprover_2.6+ds-3_amd64.deb
•     955.7 KiB
•     math
•     amd64
•      eprover_2.6+ds-3.debian.tar.xz
            eprover_2.6+ds-3.dsc
            eprover_2.6+ds.orig.tar.xz
•     Debian Versiyonu: 2.6+ds-3
•     Equational theorem prover