gentoo.mahdi.cz

  

sci-mathematics:eprover


Automated theorem prover for full first-order logic with equality

eprover-3.0_pre008GPL-2+
download~amd64 ~x86gentoo
eprover-3.0.03GPL-2+
download~amd64 ~x86gentoo