@leanprover/infoview
    Preparing search index...

    Interface InteractiveGoals

    interface InteractiveGoals {
        goals: InteractiveGoal[];
    }
    Index
    goals
    goals: InteractiveGoal[]

    Settings
    Member Visibility

    On This Page
    Properties