lean4-code-actions

Version:

Refactorings and snippets for Lean 4

21 files

Filename	Content Type	Size
../
OverflowError.ts	text/typescript	319 B
UnderflowError.ts	text/typescript	324 B
clamp.test.ts	text/typescript	1.21 kB
clamp.ts	text/typescript	699 B
compare.ts	text/typescript	224 B
getAssertions.ts	text/typescript	610 B
getBasicChecks.ts	text/typescript	742 B
getBasicChecksReprValues.ts	text/typescript	1.06 kB
getDeltas.ts	text/typescript	188 B
getRefines.ts	text/typescript	907 B
getShare.ts	text/typescript	236 B
getSumComparators.test.ts	text/typescript	907 B
getSumComparators.ts	text/typescript	1.04 kB
getSummator.ts	text/typescript	160 B
getTernaryChecks.ts	text/typescript	717 B
halve.ts	text/typescript	158 B
isDiff.ts	text/typescript	574 B
order.test.ts	text/typescript	2.46 kB
order.ts	text/typescript	1.15 kB
sum.ts	text/typescript	504 B
verify.ts	text/typescript	858 B