UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

3 files

	Filename	Content Type	Size
	../
	bignum.d.ts	text/typescript	529 B
	expectEqualResults.ts	text/typescript	1.54 kB
	init.ts	text/typescript	362 B