Chop Logic Core - v1.6.0
    Preparing search index...

    Type Alias HilbertDerivedPayload

    Payload for a derived step in Hilbert calculus. Contains the formulas that justify the derivation and indices of the steps they were derived from.

    type HilbertDerivedPayload = {
        formulas: PropFormula[];
        schema: IE;
        derivedFrom: number[];
    }
    Index

    Properties

    formulas schema derivedFrom

    Properties

    formulas: PropFormula[]
    schema: IE
    derivedFrom: number[]

    Settings

    Member Visibility

    On This Page

    Properties