lean4-code-actions

Version:

Refactorings and snippets for Lean 4

1 folder, 1 file

Filename	Content Type	Size
../
CallStr/	–	270 B
index.ts	text/typescript	79 B