Discover 17 new Excel features and functions for 2026, so you track edits and data faster. Including auto-refreshing pivots ...
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