lean4-code-actions

Version:

Refactorings and snippets for Lean 4

1 folder, 5 files

Filename	Content Type	Size
../
fast-check/	–	462 B
BigNumberBasicArithmetic.ts	text/typescript	1.69 kB
BigNumberBasicAssertions.ts	text/typescript	221 B
comparator.ts	text/typescript	203 B
utils.test.ts	text/typescript	473 B
utils.ts	text/typescript	1.4 kB