UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

3 files

	Filename	Content Type	Size
	../
	allCountries.ts	text/typescript	671 B
	allGuesstimates.ts	text/typescript	297 B
	allLanguages.ts	text/typescript	831 B