lean4-code-actions CDN files
- lean4-code-actions@1.1.32 /
- libs /
- utils /
- Quotient
| ... | |
| Arbitrary | |
| QuotientBigInt | |
| QuotientBigNat | |
| QuotientBigNumber | |
| QuotientGen | |
| allEqualDenominators.ts | 195 B |
| getNativeOperations.ts | 225 B |
| getQuotientBasicArithmetic.ts | 1.96 KB |
| getQuotientHeteroBasicOperations.ts | 930 B |
| getQuotientOf.ts | 292 B |
| getQuotientsFromNumberNumerators.ts | 357 B |
| getQuotientsFromNumerators.ts | 312 B |
| index.ts | 1.02 KB |
| setDenominator.ts | 409 B |
Free Open Source CDN for lean4-code-actions
Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/lean4-code-actions