As soon as you hit Windows Key + Shift + V, a clean interface pops up with your clipboard content. Alternatively, if you've ...
Note: This plugin is mostly a fork from cm-editor-syntax-highlight-obsidian and from obsidian-mlir-syntax-highlight, but only providing support for Lean (as other languages are already natively ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback