UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
libs
/
generic
/
models
/
Thought.ts:119:38
0 B
Binary
View Raw
No preview is available for this file.