Due fact that the highlighting might be changed based on the context of the code, the themed tokens might be changed as the stream goes on. Because the streams are one-directional, we introduce a ...
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