lean4-code-actions/libs/generic/models/Env.ts

Refactorings and snippets for Lean 4

export type Env = { [key: string]: string }