Theory bool

theory file

name bool
version 1.37
requires
    meta.description Boolean operators and quantifiers
    meta.author Joe Leslie-Hurd <joe@gilith.com>
    meta.license MIT
    meta.show "Data.Bool"
    name main
    imports
    • def
    • int
    • axiom-extensionality
    • ext
    • axiom-choice
    • class
    subs
    6 subs
    name def
    package bool-def-1.11
    name int
    imports
    • def
    package bool-int-1.18
    name axiom-extensionality
    imports
    • def
    package axiom-extensionality-1.9
    name ext
    imports
    • def
    • int
    • axiom-extensionality
    package bool-ext-1.12
    name axiom-choice
    imports
    • def
    package axiom-choice-1.8
    name class
    imports
    • def
    • int
    • axiom-extensionality
    • ext
    • axiom-choice
    package bool-class-1.26
    [evaluating…]