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

    Type Alias NaturalDerivedPayload

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

    type NaturalDerivedPayload = {
        formulas: PropFormula[];
        rule: NaturalCalculusRule;
        derivedFrom: number[];
    }
    Index

    Properties

    formulas: PropFormula[]
    derivedFrom: number[]