lean4-code-actions

Version:

Refactorings and snippets for Lean 4

1 folder, 10 files

Filename	Content Type	Size
../
Refinement/	–	7.26 kB
Mapper.ts	text/typescript	426 B
Parser.ts	text/typescript	434 B
addEffect.ts	text/typescript	540 B
addTypeField.ts	text/typescript	503 B
getDiscriminatedUnionSchema.ts	text/typescript	283 B
mergeWithEffects.test.ts	text/typescript	886 B
mergeWithEffects.ts	text/typescript	1.48 kB
parse.ts	text/typescript	1.62 kB
toUnsafeParse.ts	text/typescript	385 B
types.ts	text/typescript	630 B