lean4-code-actions

Version:

Refactorings and snippets for Lean 4

5 folders, 9 files

Filename	Content Type	Size
../
Arbitrary/	–	768 B
QuotientBigInt/	–	1.48 kB
QuotientBigNat/	–	1.5 kB
QuotientBigNumber/	–	3.14 kB
QuotientGen/	–	1.81 kB
allEqualDenominators.ts	text/typescript	195 B
getNativeOperations.ts	text/typescript	225 B
getQuotientBasicArithmetic.ts	text/typescript	2.01 kB
getQuotientHeteroBasicOperations.ts	text/typescript	930 B
getQuotientOf.ts	text/typescript	292 B
getQuotientsFromNumberNumerators.ts	text/typescript	357 B
getQuotientsFromNumerators.ts	text/typescript	312 B
index.ts	text/typescript	1.04 kB
setDenominator.ts	text/typescript	409 B