gienah@gentoo.org
sci-mathematics
SPASS: An Automated Theorem Prover for First-Order Logic with Equality.
Add integration support for the Isabelle/HOL theorem prover.