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

    Type Alias HilbertAxiomPayload

    Payload for an axiom step in Hilbert calculus. Contains the formulas and schema instance used for the axiom.

    type HilbertAxiomPayload = {
        formulas: PropFormula[];
        schema: HilbertCalculusSchema;
    }
    Index

    Properties

    formulas schema

    Properties

    formulas: PropFormula[]
    schema: HilbertCalculusSchema

    Settings

    Member Visibility

    On This Page

    Properties