Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

local USE flag
isabelle

Packages describing “isabelle” as local USE flag

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

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