Obsidian plugins with #lean#

The Lean Syntax Highlight plugin for Obsidian adds live syntax highlighting for the Lean programming language. This plugin enhances the readability of Lean code within Obsidian by providing clear and structured color-coded syntax. It is ideal for users working with Lean, offering real-time visual distinction of keywords, functions, and variables. The plugin is a fork of existing syntax highlight tools and is focused solely on Lean, which is not natively supported in Obsidian. With this plugin, users can improve their coding workflow by making Lean code easier to read and understand.