UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

3 folders, 5 files

	Filename	Content Type	Size
	../
	ModelRealPair/	–	757 B
	arbitraries/	–	220 B
	commands/	–	1.19 kB
	assert.ts	text/typescript	2.14 kB
	random.ts	text/typescript	136 B
	replay.ts	text/typescript	2.53 kB
	types.ts	text/typescript	189 B
	withSkips.ts	text/typescript	433 B