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

    Type Alias HilbertBasePayload

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

    type HilbertBasePayload = {
        formula: PropFormula;
    }
    Index

    Properties

    formula

    Properties

    formula: PropFormula

    Settings

    Member Visibility

    On This Page

    Properties