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

    Type Alias NaturalBasePayload

    Base payload for assumption steps in natural calculus. Contains a single formula representing the assumption.

    type NaturalBasePayload = {
        formula: PropFormula;
    }
    Index
    formula
    formula: PropFormula

    Settings
    Member Visibility

    On This Page
    Properties