lean4-code-actions

Version:

Refactorings and snippets for Lean 4

1 folder, 13 files

Filename	Content Type	Size
../
BigNat/	–	547 B
BigIntAdvancedOperations.ts	text/typescript	324 B
BigIntAllAssertions.ts	text/typescript	322 B
BigIntAllRefinesR.ts	text/typescript	258 B
BigIntArrayComparisons.ts	text/typescript	204 B
BigIntBasicArithmetic.ts	text/typescript	1.6 kB
BigIntBasicArithmeticReprValues.ts	text/typescript	155 B
BigIntBasicAssertions.ts	text/typescript	209 B
BigIntBasicRefinesR.ts	text/typescript	200 B
BigIntTernaryAssertions.ts	text/typescript	224 B
BigIntTernaryComparisons.ts	text/typescript	204 B
BigIntTernaryRefinesR.ts	text/typescript	215 B
fromBigIntToNumber.ts	text/typescript	251 B
sqrtNewton.ts	text/typescript	552 B