lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 files

Filename	Content Type	Size
../
QuotientBigIntBasicArithmetic.ts	text/typescript	386 B
QuotientBigIntHeteroBasicOperations.ts	text/typescript	461 B
QuotientBigIntNativeOperations.ts	text/typescript	292 B
QuotientBigIntSumComparators.ts	text/typescript	345 B