Gentoo Packages

USE Flag: isabelle

Search

Manage

Local and Metadata Descriptions

Metadata Descriptions (metadata.xml)

Local Descriptions (use.local.desc)

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.