UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

6 folders, 18 files

	Filename	Content Type	Size
	.github/	–	827 B
	.idea/	–	6.81 kB
	.vscode/	–	2.76 kB
	img/	–	6.04 MB
	libs/	–	247 kB
	src/	–	75.9 kB
	.eslintrc.ci.cjs	text/javascript	211 B
	.eslintrc.cjs	text/javascript	3.78 kB
	.gitmodules	text/plain	358 B
	.markdownlint.json	application/json	76 B
	.vscodeignore	text/plain	179 B
	LICENSE	text/plain	1.06 kB
	README.md	text/markdown	8.28 kB
	TODO.md	text/markdown	51 B
	jest.config.mjs	text/javascript	738 B
	jest.setup.js	text/javascript	171 B
	jest.setupAfterEnv.js	text/javascript	523 B
	lefthook.yml	text/yaml	360 B
	package.json	application/json	6.58 kB
	post-push.local.sh	application/octet-stream	152 B
	test.local.sh	application/octet-stream	28 B
	test.watch.local.sh	application/octet-stream	34 B
	tsconfig.json	application/json	378 B
	typecheck.local.sh	application/octet-stream	41 B

About

Releases

2 years ago