lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 folders, 19 files

Filename	Content Type	Size
../
Lean/	–	4.72 kB
Pair/	–	284 B
WorkspaceConfiguration/	–	1.27 kB
vscode/	–	373 B
CharacterRange.ts	text/typescript	90 B
Lean.ts	text/typescript	1.52 kB
LeanExtension.ts	text/typescript	286 B
Position.ts	text/typescript	139 B
QuickPickItem.ts	text/typescript	214 B
Range.ts	text/typescript	438 B
RegExp.ts	text/typescript	97 B
SnippetString.ts	text/typescript	729 B
TextDocument.ts	text/typescript	707 B
TextEditor.ts	text/typescript	1.96 kB
Uri.ts	text/typescript	837 B
WorkspaceEdit.ts	text/typescript	652 B
WorkspaceFolder.ts	text/typescript	1.6 kB
command.ts	text/typescript	795 B
file.ts	text/typescript	1.35 kB
getRelativeFilePathFromLeanNames.ts	text/typescript	176 B
path.ts	text/typescript	1.4 kB
text.ts	text/typescript	863 B
workspace.ts	text/typescript	588 B