gentoo.mahdi.cz
sci-mathematics
:eprover
Automated theorem prover for full first-order logic with equality
eprover-3.0_pre008
GPL-2+
download
~amd64 ~x86
gentoo
eprover-3.0.03
GPL-2+
download
~amd64 ~x86
gentoo