lean4-code-actions

Version:

Refactorings and snippets for Lean 4

5 files

Filename	Content Type	Size
../
QuotientBigNumberBasicArithmetic.ts	text/typescript	404 B
QuotientBigNumberHeteroBasicOperations.ts	text/typescript	488 B
QuotientBigNumberNativeOperations.ts	text/typescript	310 B
QuotientBigNumberSumComparators.ts	text/typescript	360 B
index.ts	text/typescript	1.58 kB