local USE flag
isabelle

Add integration support for the Isabelle/HOL theorem prover.

Packages describing “isabelle” as local USE flag

Package “isabelle” Flag Description
sci-mathematics/z3 Add integration support for the Isabelle/HOL theorem prover.

All packages providing a “isabelle” USE flag (1)