gienah@gentoo.org mgorny@gentoo.org sci@gentoo.org Gentoo Science Project Add integration support for the Isabelle/HOL theorem prover. Z3Prover/z3