Chop Logic Core - v1.6.0
    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

    Properties

    formula

    Properties

    formula: PropFormula

    Settings

    Member Visibility

    On This Page

    Properties