Gentoo Packages
Gentoo Packages
>
gentoo
>
USE Flags
> isabelle
USE Flag: isabelle
Search
Search
Local and Metadata Descriptions
Metadata Descriptions (metadata.xml)
sci-mathematics/z3:
Add integration support for the Isabelle/HOL theorem prover.
Local Descriptions (use.local.desc)
sci-mathematics/z3:
Add integration support for the Isabelle/HOL theorem prover.
Packages Using This Flag
Package
Local Description (use.local.desc)
Metadata Description (metadata.xml)
sci-mathematics/z3
Add integration support for the Isabelle/HOL theorem prover.
Add integration support for the Isabelle/HOL theorem prover.