UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

3 files

	Filename	Content Type	Size
	../
	DateArrayComparisons.ts	text/typescript	302 B
	DateBasicArithmetic.ts	text/typescript	1.55 kB
	filter.ts	text/typescript	124 B