lean4-code-actions

Version:

Refactorings and snippets for Lean 4

8 files

Filename	Content Type	Size
../
NumberAdvancedOperations.ts	text/typescript	332 B
NumberAllAssertions.ts	text/typescript	322 B
NumberBasicArithmetic.ts	text/typescript	1.42 kB
NumberBasicAssertions.ts	text/typescript	209 B
NumberTernaryAssertions.ts	text/typescript	224 B
NumberTernaryComparisons.ts	text/typescript	204 B
utils.test.ts	text/typescript	327 B
utils.ts	text/typescript	365 B