proposit-core
    Preparing search index...

    Variable CoreClaimAxiomaticTypeSchemaConst

    CoreClaimAxiomaticTypeSchema: TLiteral<"axiomatic"> = ...