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