A plugin for Obsidian providing live syntax highlight for the Lean programming language.
- Open Settings > Third-party plugin
- Make sure Safe mode is off
- Click Browse community plugins
- Search for "Lean Syntax Highlight"
- Click Install
- Once installed, close the community plugins window and activate the newly installed plugin
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 supported by Obsidian).