lean4-code-actions

Version:

Refactorings and snippets for Lean 4

3 files

Filename	Content Type	Size
../
ArrayArrayStringSortedAscendingByLength.ts	text/typescript	451 B
ArrayNumberSortedAscending.ts	text/typescript	398 B
ArrayNumberSortedDescending.ts	text/typescript	403 B