lean4-code-actions

Version:

Refactorings and snippets for Lean 4

6 files

Filename	Content Type	Size
../
callMB.ts	text/typescript	155 B
getMapperOneTupleFromMapperTwo.ts	text/typescript	157 B
getMaybe.ts	text/typescript	293 B
getOneOfTwo.ts	text/typescript	210 B
getPairFromOne.ts	text/typescript	188 B
index.ts	text/typescript	781 B