@leanprover/infoview

Preparing search index...

index
VersionContext

Variable VersionContext`Const`

VersionContext: Context<ServerVersion | undefined> = ...

Defined in lean4-infoview/src/infoview/contexts.ts:20

Settings

Member Visibility

Protected
Inherited
External

Theme

@leanprover/infoview

Loading...

Generated using TypeDoc