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

local USE flag
proofs

Packages describing “proofs” as local USE flag

Package“proofs” Flag Description
sci-mathematics/cvc4Support for proof generation

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