UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 files

	Filename	Content Type	Size
	../
	extensions.json	application/json	169 B
	launch.json	application/json	1.29 kB
	settings.json	application/json	463 B
	tasks.json	application/json	841 B