TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Numerics.Representations.Boolean

Booleans as a numerical system #

Boolean masks have no exceptional encodings: every runtime Bool denotes itself.

source
def FloatLib.Numerics.Representations.Boolean.numericalSystem :
NumericalSystem

Mathematical interpretation of a Boolean code.

Instances For
    source
    @[simp]
    theorem FloatLib.Numerics.Representations.Boolean.represents (value : Bool) :
    numericalSystem.Represents value value

    Every Boolean code represents itself.