lean4-code-actions

Version:

Refactorings and snippets for Lean 4

1 file

	Filename	Content Type	Size
	../
	providerRenameEdits.ts	text/typescript	2.51 kB