Lean Syntax Highlight

approved

by tomaz1502

Provides live syntax highlight for the Lean programming language

★ 8 stars↓ 2,211 downloadsUpdated 1y agoApache-2.0
View on GitHub

Lean Syntax Highlight for Obsidian

A plugin for Obsidian providing live syntax highlight for the Lean programming language.

Installation

  • 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).

For plugin developers

Search results and similarity scores are powered by semantic analysis of your plugin's README. If your plugin isn't appearing for searches you'd expect, try updating your README to clearly describe your plugin's purpose, features, and use cases.