@leanprover/infoview
    Preparing search index...

    Interface PlainGoal

    interface PlainGoal {
        goals: string[];
        rendered: string;
    }
    Index
    goals rendered
    goals: string[]
    rendered: string

    Settings
    Member Visibility

    On This Page
    Properties