Open
Description
For example, file lean
contains https://github.com/leanprover/vscode-lean4/blob/c5293e4f25527f1434d67c05dde35bc21dd649f2/lean4-unicode-input/src/abbreviations.json
Another custom file contains other unicodes.
Metadata
Metadata
Assignees
Labels
No labels