proposit-core
    Preparing search index...

    Type Alias TCorePremiseSide

    TCorePremiseSide: "antecedent" | "consequent"

    Which side of an inference premise a variable appears on.

    Settings

    Member Visibility