UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

15 lines (14 loc) • 179 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
.vscode/** .vscode-test/** src/** libs/** dist/** node_modules/** **/*.local.sh .gitignore .yarnrc vsc-extension-quickstart.md **/tsconfig.json **/.eslintrc.json **/*.map **/*.ts