@leanprover/infoview

Preparing search index...

index
defaultInfoviewConfig

Variable defaultInfoviewConfig`Const`

defaultInfoviewConfig: InfoviewConfig

Defined in lean4-infoview-api/dist/infoviewApi.d.ts:100

Settings

Member Visibility

Protected
Inherited
External

Theme

@leanprover/infoview

Loading...

Generated using TypeDoc