gentoo.mahdi.cz
sci-mathematics
:prover9
Automated theorem prover for first-order and equational logic
https://www.cs.unm.edu/~mccune/mace4/
prover9-2009.11a-r1
GPL-2
download
~amd64 ~x86
gentoo