@leanprover/infoview

Preparing search index...

index
LeanTag

Enumeration LeanTag

Defined in lean4-infoview-api/dist/lspTypes.d.ts:2

Index

Enumeration Members

GoalsAccomplished UnsolvedGoals

Enumeration Members

GoalsAccomplished

GoalsAccomplished: 2

Defined in lean4-infoview-api/dist/lspTypes.d.ts:4

UnsolvedGoals

UnsolvedGoals: 1

Defined in lean4-infoview-api/dist/lspTypes.d.ts:3

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Enumeration Members

GoalsAccomplished UnsolvedGoals

@leanprover/infoview

Loading...

Generated using TypeDoc